عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1234
QA
76
.
L28
Vol
.
1234
کتابخانه
محل استقرار
Logical foundations of computer science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6-12, 1997 : proceedigns
4th: 1997: Yaroslavl, Russia
Berlin
Springer-Verlag
c1997
ix, 429p
Lecture notes in computer science; 4321
Includes bibliographies
ISBN 3540630457
Sergei Adian, Anil Nerode )eds.(
1
Congresses ، Computers
Congresses ، Electronic data processing
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
1234
AU
AU Adian, Sergei I., 1931-
AU Nerode, Anil, 1932-
TI
SE
LFCS
