عنوان
پدید آورنده
موضوع
رده
QA 75 .5 .L64 1997
QA
75
.
5
.
L64
1997
کتابخانه
محل استقرار
114034
زمستان۶۷
English
)91(
Logical foundations of computer science : 4th international symposium, LFCS '97 Yaroslava, Russia, July 6-12, 1997 : proceedings
Berlin
Springer-Verlag
1997
ix, 429 p.; 24 cm
Lecture notes in computer science; 4321
Includes bibliographical references
، Computer science-- Congresses
، Logic, Symbolic and mathematical-- Congresses
QA
75
.
5
.
L64
1997
TI
Sergei Adian, Anil Nerode ]eds.[
AU iegreS ,naidA
AU linA ,edoreN
129
