Title: Proceedings of the Sixth International Conference on Symbolic and Logical Computing
Subjects: Computer programming, Congresses, Electronic data processing