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