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