عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.813
QA
76
.
L28
Vol
.
813
کتابخانه
محل استقرار
Logical foundations of computer science : third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
3rd: 1994: St. Petersburg, Russia
Berlin
Springer-Verlag
c1994
ix, 392p
Lecture notes in computer science; 318
Includes bibliographies
ISBN: 3540581405
A. Nerode, Yu.V. Matiyasevich, eds
1
Congresses ، Computer science
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
813
AU
AU Nerode, Anil, 1932-
AU Matiiasevich, Iurii V.
TI
SE
LFCS
