Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Libristo-Code: 01569358
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Vollständige Beschreibung
? points 125 b
51.75 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Demnächst
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Buch Broschur
common.buy 25.11 €
Rodina v 21. století collegium / Buch Broschur
common.buy 4.14 €
Theodor Fontane: Effi Briest Theodor Fontane / Buch Hardcover
common.buy 5.66 €
Suburban Hell Taro Kanafuro / Buch Broschur
common.buy 30.88 €
Educación infantil, 3 a?os / Buch Broschur
common.buy 19.23 €
Le Passage du Désir Almira / Buch Broschur
common.buy 11.94 €
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Buch Broschur
common.buy 38.58 €
Les Tribulations d'un Chinois en Chine Jules Verne / Buch Broschur
common.buy 12.85 €
Günstig
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Spiel/Spielzeug Spiel
common.buy 9.11 €
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Buch Broschur
common.buy 34.83 €
A>tze, das Tintenmonster Ursel Scheffler / Buch Broschur
common.buy 5.66 €
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Buch Broschur
common.buy 80.21 €
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Buch Broschur
common.buy 18.02 €
Heilkunst und Humor Rosina Sonnenschmidt / Buch Hardcover
common.buy 27.54 €

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic for Programming, Artificial Intelligence, and Reasoning
Autor Nachum Dershowitz, Andrei Voronkov
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2007
Anzahl der Seiten 564
EAN 9783540755586
ISBN 3540755586
Libristo-Code 01569358
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 878
Abmessungen 155 x 235 x 32

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

Das könnte Sie auch interessieren

Catalysis Michel Boudart / Buch Broschur
common.buy 103.10 €
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Buch Broschur
common.buy 114.64 €
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Buch Broschur
common.buy 29.97 €
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Buch Hardcover
common.buy 48.10 €
5 Things to Pray for Your Church Jones / Buch Broschur
common.buy 6.67 €
Perpetrators Victims Bystanders Raul Hilberg / Buch Broschur
common.buy 15.18 €
Worldwar Harry Turtledove / Buch Broschur
common.buy 8.19 €
Global Renewal Christianity Amos Yong / Buch Hardcover
common.buy 31.29 €
JENNY BOOTH ELIZABETH EDI PIGOT / Buch Hardcover
common.buy 33.21 €
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Buch Broschur
common.buy 9.00 €
The Death of the Wicked Anne Barton / Buch Broschur
common.buy 15.59 €
SAS Certified Professional Prep Guide Sas Institute / Buch Hardcover
common.buy 150.39 €
Just for You Francesca Pirrone / Buch Hardcover
common.buy 12.95 €
John and the Big Wish Laura Watkins / Buch Hardcover
common.buy 8.70 €
Advances in X-Ray Analysis Charles S. Barrett / Buch Broschur
common.buy 51.75 €
Gender and Nation Building in the Middle East Elise G Young / Buch Hardcover
common.buy 199.72 €
Con Men, The Leo Gough / Buch Broschur
common.buy 26.42 €
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Buch Hardcover
common.buy 201.44 €
Future of Drylands Cathy Lee / Buch Hardcover
common.buy 206.00 €
Pascal John Tulloch / Buch Broschur
common.buy 11.74 €
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Buch Broschur
common.buy 61.77 €
English Drama Before Shakespeare Peter Happe / Buch Broschur
common.buy 78.69 €
Computational Algebraic Geometry Frederic Eyssette / Buch Broschur
common.buy 51.75 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?