Theorem proving with analytic tableaux and related methods: 4th international workshop, tableaux-95, schloss rheinfels, st. goar, germany, may 7 - 10, 1995. proceedings
Auteur :
Baumgartner, Peter
ISBN :
9783540593386
Date de publication :
26 avr. 1995
Dimensions :
23,3 x 15,5 x 1,9 cm
Poids :
1160 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloss Rheinfels, St Goar, Germany in May 1995. This book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, and higher-order logic.