عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.620
QA
76
.
L28
Vol
.
620
کتابخانه
محل استقرار
Logical foundations of computer science- Tver'92: second International Symposium: Tver, Russia, Julay 20-24, 1992: proceedigns
2nd: 1992: Tver, Russia
Berlin
Springer-Verlag
c1992
ix, 514p.: ill
Lecture notes in computer science; 026
Includes bibliographies
ISBN: 3540557075
A. Nerode, M. Taitslin )eds.(
1
Congresses ، Computers
Congresses ، Electronic data processing
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
620
AU
AU Nerode, Anil, 1932-
AU Taitslin, Mikhail A., 1936-
TI
SE
LFCS
