[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Logic for Programming, Artificial Intelligence, and Reasoning

Sprache EnglischEnglisch
Buch Broschur
Buch Logic for Programming, Artificial Intelligence, and Reasoning Matthias Baaz
Libristo-Code: 01555913
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2002
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog... Vollständige Beschreibung
? points 177 b
70.50 € 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

Super Anti-Oxidants James F. Balch / Broschur
common.buy 15.63 €
Security Information and Event Management (SIEM) Implementation David Miller / Broschur
common.buy 79.08 €
Neuroscience, Consciousness and Spirituality Harald Walach / Broschur
common.buy 251.48 €
Non Coding RNAs in Plants Volker A. Erdmann / Broschur
common.buy 276.39 €
NETWORKING 2012 Workshops Zdenek Becvar / Broschur
common.buy 70.50 €
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Bran Selic / Broschur
common.buy 84.63 €
Seed-borne plant virus diseases K. Subramanya Sastry / Hardcover
common.buy 214.05 €
Music of the Moravian Church in America Nola Reed Knouse / Broschur
common.buy 43.67 €
Tomb Raiders and Space Invaders Geoff King / Hardcover
common.buy 263.58 €
Ice Kevin Tinto / Broschur
common.buy 19.36 €
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Broschur
common.buy 19.76 €
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Broschur
common.buy 13.20 €
Chemistry: Theory and Practice BRUCE HORAK / Hardcover
common.buy 159.68 €
Skills-Based Health Education Mary Connolly / Broschur
common.buy 212.03 €
Legacies of Great Men in World Soccer / Hardcover
common.buy 147.88 €
Handbook of Concentrator Photovoltaic Technology Carlos Algora / Hardcover
common.buy 193.27 €

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

Informationen zum Buch

Vollständiger Name Logic for Programming, Artificial Intelligence, and Reasoning
Autor Matthias Baaz, Andrei Voronkov
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2002
Anzahl der Seiten 470
EAN 9783540000105
ISBN 3540000100
Libristo-Code 01555913
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1490
Abmessungen 155 x 235 x 27

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 > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Betriebssysteme
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