Title: Symposium on Logic in Computer Science, LICS'94
First published: 1994
Subjects: Congresses, Electronic data processing, Electronic digital computers, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA75.5 .S9813 1994