Title: Thirteenth Annual IEEE Symposium on Logic in Computer Science
First published: 1998
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic
LC classification: QA75.5 .S9 1998