[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Automated Reasoning with Analytic Tableaux and Related Methods

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Reasoning with Analytic Tableaux and Related Methods Martin Giese
Libristo-Code: 01650038
Verlag Springer, Berlin, Mai 2009
This book constitutes the refereed proceedings of the 18th International Conference on Automated Rea... Vollständige Beschreibung
? points 161 b
64.16 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Ceremony Leslie Marmon Silko / Broschur
common.buy 14.62 €
Die Vampirschwestern (Band 5) - Ferien mit Biss Franziska Gehm / Hardcover
common.buy 11.05 €
Die Sicherung des Lebensunterhalts durch das SGB II und die Auswirkungen auf die betroffenen Familien Fritz Böckh / Broschur
common.buy 30.17 €
Many Sides: A Protagorean Approach to the Theory, Practice and Pedagogy of Argument M. Mendelson / Hardcover
common.buy 194.62 €
SAGES Manual Nathaniel J. Soper / Broschur
common.buy 149.22 €
Medialisierungsvertraglichkeit des Bundestags und des Schweizer Parlaments Stefan Heini / Broschur
common.buy 28.20 €
Mit Kindern im Bienengarten Irmgard Kutsch / Hardcover
common.buy 22.20 €
Untersuchungen zum Viktimisierungs-Furcht-Paradoxon Sandra Herbst / Broschur
common.buy 32.29 €
Wir Besser-Esser Dietrich H. W. Grönemeyer / Broschur
common.buy 13.11 €
Emilie, LA Mauvaise Humeur Domitille de Pressense / Hardcover
common.buy 10.08 €
Theology and Philosophy of Eliade Carl Olson / Hardcover
common.buy 194.62 €
Letters Written by Eminent Persons in the Seventeenth and Eighteenth Centuries John Walker / Broschur
common.buy 53.47 €
Atlas of Fundus Autofluorescence Imaging Frank G. Holz / Broschur
common.buy 170.81 €
Kompetenztransfer Im Investitionsgutermarketing Karl-Heinz Strothmann / Broschur
common.buy 55.48 €

This book constitutes the refereed proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, held in Oslo, Norway, in July 2009.§The 21 revised research papers presented together with 1 system description and 2 invited talks were carefully reviewed and selected from 44 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods in areas such as hardware and software verfications, semantic technologies, and knowledge engineering.

Informationen zum Buch

Vollständiger Name Automated Reasoning with Analytic Tableaux and Related Methods
Autor Martin Giese, Arild Waaler
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2009
Anzahl der Seiten 341
EAN 9783642027154
ISBN 3642027156
Libristo-Code 01650038
Verlag Springer, Berlin
Gewicht 536
Abmessungen 155 x 235 x 20

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto