Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: TABLEAUX '96, Terrasini, Italy
مؤلفون آخرون: Miglioli, P.
التنسيق: وقائع المؤتمر كتاب
اللغة:English
منشور في: Berlin ; New York : Springer, c1996.
سلاسل:Lecture notes in computer science ; 1071.
Lecture notes in computer science. Lecture notes in artificial intelligence.
الموضوعات:
Automatic theorem proving > Congresses.
Nonclassical mathematical logic > Congresses.
Logic, Symbolic and mathematical > Congresses.
الوصف
وصف مادي:x, 329 p. : ill. ; 24 cm.
بيبلوغرافيا:Includes bibliographical references and index.
ردمك:3540612084

مواد مشابهة