Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings - Lecture Notes in Computer Science

Peter Baumgartner

Prijs

€ 63,99

Besteld in een afgelegen magazijn

Verwachte levering 9 - 19 jul.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving

Topnotering op Trustpilot

Voeg toe aan uw iMusic-verlanglijst

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings - Lecture Notes in Computer Science

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.

361 pages, biography

Media	Boeken Paperback Book (Boek met zachte kaft en gelijmde rug)
Vrijgegeven	26 april 1995
ISBN13	9783540593386
Uitgevers	Springer-Verlag Berlin and Heidelberg Gm
Pagina's	361
Afmetingen	155 × 233 × 19 mm · 526 g
Uitgever	Baumgartner, Peter
Uitgever	Hahnle, Reiner
Uitgever	Posegga, Joachim

Alles tonen

Meer door Peter Baumgartner

Bekijk alles van Peter Baumgartner ( bijv. Paperback Book , CD en Book )