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 /

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: TABLEAUX '96, Terrasini, Italy
Diğer Yazarlar: Miglioli, P.
Materyal Türü: Konferans Sunumu Kitap
Dil:English
Baskı/Yayın Bilgisi: Berlin ; New York : Springer, c1996.
Seri Bilgileri:Lecture notes in computer science ; 1071.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Konular:
Automatic theorem proving > Congresses.
Nonclassical mathematical logic > Congresses.
Logic, Symbolic and mathematical > Congresses.
Diğer Bilgiler
Fiziksel Özellikler:x, 329 p. : ill. ; 24 cm.
Bibliyografya:Includes bibliographical references and index.
ISBN:3540612084

Benzer Materyaller