Theorem Proving with Analytic Tableaux and Related Methods

53,49 €*

Auf Wunsch am nächsten Werktag in der Buchhandlung abholbereit Dieser Artikel ist momentan nicht vor Ort verfügbar, kann aber bestellt werden.
Wählen Sie einfach als Versandart "Abholung" aus. Im Falle einer Bestellung bis 16:00 ist der Artikel ab dem nächsten Werktag für Sie abholbereit. Bei Versand Lieferzeit 3-5 Tage Dieser Artikel ist für eine Bestellung per Versand verfügbar, die Lieferzeit beträgt 3-5 Tage .

ISBN/EAN: 9783540593386

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels, St. Goar, Germany in May 1995. Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications

EAN:	9783540593386
Sprache:	Englisch
Seitenzahl:	372
Produktart:	Kartoniert / Broschiert
Herausgeber:	Baumgartner, Peter Hähnle, Reiner Posegga, Joachim
Veröffentlichungsdatum:	26.04.1995
Untertitel:	4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
Schlagworte:	Begründung / Beweis Beweis Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Anmelden

Ihre E-Mail-Adresse

Ihr Passwort

Bewertungen nur in der aktuellen Sprache anzeigen.

Keine Bewertungen gefunden. Gehen Sie voran und teilen Sie Ihre Erkenntnisse mit anderen.

Möchten Sie lieber vor Ort einkaufen?

Haben Sie weiterführende Fragen zu diesem Buch oder anderen Produkten? Oder möchten Sie einfach doch lieber in der Buchhandlung stöbern? Wir sind gern persönlich für Sie da und beraten Sie auch telefonisch.

Buchhandlung Nettesheim GmbH
Hauptstraße 17
42349 Wuppertal
Telefon: 0202/472870

Mo – Fr09:30 – 18:00 UhrSa09:00 – 13:00 Uhr