عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.620
QA
76
.
L4
v
.
620
کتابخانه
محل استقرار
English
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings
Berlin, New York
Springer-Verlag
1992
ix, 514 p. : ill. ; 24 cm
Lecture notes in computer science, 026
Includes bibliographical references
A. Nerode, M. Taitslin )eds.(
1
Congresses ، Computers
Congresses ، Electronic data processing
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L4
v
.
620
CA
004
TI
AU Nerode, Anil 1932-
AU Taitslin, M. A.)Mikhail A.( 1936-
SE
