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
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
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