عنوان
پدید آورنده
موضوع
رده
QA 75.5 .L64 1994
QA
75
.
5
.
L64
1994
کتابخانه
محل استقرار
H1
Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
Berlin
Springer-Verlag
1994
ix, 392 p
Lecture notes in computer science, 813
Includes bibliographical references
Computer science - Congresses
Logic, Symbolic and mathematical - Congresses
QA
75
.
5
.
L64
1994
TI
A. Nerode, Yuri V. Matiyasevich, eds
English
