Preisvergleich / Suche / Wohnen / Büro / Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Martin Giese, Arild Waaler
Thumbnail - Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Martin Giese, Arild Waaler

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Martin Giese, Arild Waaler

Das Buch "Automated Reasoning with Analytic Tableaux and Related Methods" dokumentiert die Forschungsarbeiten, die auf der In... Mehr erfahren

Sammle bis zu 26 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis26 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

53,49 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage
Icon Preiswecker.

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Produktdetails

Das Buch "Automated Reasoning with Analytic Tableaux and Related Methods" dokumentiert die Forschungsarbeiten, die auf der Internationalen Konferenz über automatisches Schliessen mit analytischen Tabellen und verwandten Methoden (TABLEAUX 2009) präsentiert wurden. Diese Konferenz fand vom 6. bis 10. Juli 2009 in Oslo, Norwegen, statt und war die 18. in einer Reihe internationaler Treffen, die seit 1992 abgehalten werden. Die Konferenz zog 44 Einreichungen aus 24 Ländern an, die von einem Programmkomitee begutachtet wurden. Nach einem intensiven Überprüfungsprozess wurden 21 Forschungsarbeiten und eine Systembeschreibung aufgrund ihrer Originalität, technischen Solidität, Präsentation und Relevanz akzeptiert. Das Buch bietet somit einen wertvollen Einblick in die neuesten Entwicklungen und Trends im Bereich des automatischen Schliessens und der analytischen Tabellen.

Informationen

Lieferzeit:2-4 Werktage
Marke:Springer