TY - BOOK
AU - Workshop on Theorem Proving with Analytic Tableaux and Related Methods 5 1996 Terrasini Favarotta
AU - Miglioli, Pierangelo
TI - Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings
PB - Springer
SN - 3540612084
KW - Automatic theorem proving Congresses
KW - Nonclassical mathematical logic Congresses
KW - Logic, Symbolic and mathematical Congresses
KW - Konferenzschrift 1996 Terrasini Favarotta
KW - Automatisches Beweisverfahren
PY - 1996
N2 - Literaturangaben
BT - Lecture notes in computer science ; 1071 ; Lecture notes in artificial intelligence
CY - Berlin
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-198225881&tx_find_find%5Btype%5D=ris
ER -
Download citation