Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings /

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
مؤلفون مشاركون: Kurt Gödel Colloquium Brno, Czech Republic, Kurt Gödel Society
مؤلفون آخرون: Gottlob, G. (Georg), Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-
التنسيق: وقائع المؤتمر كتاب
اللغة:English
منشور في: Berlin ; New York : Springer-Verlag, 1993.
سلاسل:Lecture notes in computer science ; 713.
الموضوعات:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
الوصف
وصف المادة:Sponsored by Kurt Gödel Society.
وصف مادي:xi, 348 p. : ill. ; 24 cm.
بيبلوغرافيا:Includes bibliographical references.
ردمك:0387571841

مواد مشابهة