Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Martin Giese, Arild Waaler
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
