Peter Baumgartner
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

Name: 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
Price: 63.49 EUR
Availability: OutOfStock
Author: Peter Baumgartner

Cena

€ 63,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 21. aug. - . gada 4. sept.

Saņemiet paziņojumus par jauniem Peter Baumgartner izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	1995. gada 26. aprīlis
ISBN13	9783540593386
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	361
Izmēri	155 × 233 × 19 mm · 526 g
Valoda	Vācu
Redaktors	Baumgartner, Peter
Redaktors	Hahnle, Reiner
Redaktors	Posegga, Joachim