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