Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: LFCS '94 (St. Petersburg, Russia)
مؤلفون آخرون: Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.), Nerode, Anil, 1932-
التنسيق: وقائع المؤتمر كتاب
اللغة:English
منشور في: Berlin ; New York : Springer-Verlag, c1994.
سلاسل:Lecture notes in computer science ; 813.
الموضوعات:
الوصف
وصف مادي:ix, 392 p. ; 24 cm.
بيبلوغرافيا:Includes bibliographical references.
ردمك:3540581405
0387581405