Title: 12th Annual IEEE Symposium on Logic in Computer Science
First published: 1997
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic
LC classification: QA75.5 .S9813 1997