%0 Book
%T Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings
%A Workshop on Theorem Proving with Analytic Tableaux and Related Methods 5 1996 Terrasini Favarotta
%A Miglioli, Pierangelo
%I Springer
%@ 3540612084
%K Automatic theorem proving Congresses
%K Nonclassical mathematical logic Congresses
%K Logic, Symbolic and mathematical Congresses
%K Konferenzschrift 1996 Terrasini Favarotta
%K Automatisches Beweisverfahren
%D 1996
%X Literaturangaben
%C Springer
%C Berlin
%U https://katalog.slub-dresden.de/en/?cHash=d436d54d7a76fc6fe03d5b8c85ebf4cf&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-198225881&tx_find_find%5Btype%5D=endnote
Download citation