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