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