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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Demnächst
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Buch Broschur
common.buy 25.79 €
Le Passage du Désir Almira / Buch Broschur
common.buy 12.19 €
Rodina v 21. století collegium / Buch Broschur
common.buy 3.89 €
La caldera de los sueños MOLINA / Buch Broschur
common.buy 17.79 €
Educación infantil, 3 a?os / Buch Broschur
common.buy 22.09 €
Řeknu o tobě hvězdám Edyta Prusinowska / Buch Broschur
common.buy 10.79 €
Nauka jazdy na rolkach C. Oach / Buch Broschur
common.buy 12.49 €
Suburban Hell Taro Kanafuro / Buch Broschur
common.buy 32.19 €
Paladyn z ziem dalekich 7 Okubashi Mutsumi / Buch Broschur
common.buy 5.69 €
Meine glitzernden Anziehpuppen-Stickerbücher mini: Im Ballett, Feen, Freundinnen und Prinzessinnen / Buch Broschur
common.buy 12.00 €
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Buch Broschur
common.buy 34.49 €
Les Tribulations d'un Chinois en Chine Jules Verne / Buch Broschur
common.buy 9.69 €
Günstig
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Spiel/Spielzeug Spiel
common.buy 11.59 €
A>tze, das Tintenmonster Ursel Scheffler / Buch Broschur
common.buy 5.59 €
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Buch Broschur
common.buy 84.99 €
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Buch Broschur
common.buy 19.95 €
Heilkunst und Humor Rosina Sonnenschmidt / Buch Hardcover
common.buy 29.00 €
Top
Theodor Fontane: Effi Briest Theodor Fontane / Buch Hardcover
common.buy 5.59 €
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Buch Broschur
common.buy 38.95 €
Erste Ukrainische Lesebuch fur Anfanger Olena Dniprova / Buch Broschur
common.buy 20.09 €
Nachsommer Adalbert Stifter / Buch Broschur
common.buy 44.50 €

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 101.79 €
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Buch Broschur
common.buy 97.89 €
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Buch Broschur
common.buy 23.69 €
Global Renewal Christianity Amos Yong / Buch Hardcover
common.buy 32.59 €
5 Things to Pray for Your Church Jones / Buch Broschur
common.buy 5.59 €
Perpetrators Victims Bystanders Raul Hilberg / Buch Broschur
common.buy 14.89 €
Worldwar Harry Turtledove / Buch Broschur
common.buy 8.09 €
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Buch Hardcover
common.buy 47.49 €
JENNY BOOTH ELIZABETH EDI PIGOT / Buch Hardcover
common.buy 32.79 €
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Buch Broschur
common.buy 8.89 €
The Death of the Wicked Anne Barton / Buch Broschur
common.buy 15.39 €
SAS Certified Professional Prep Guide Sas Institute / Buch Hardcover
common.buy 120.99 €
Just for You Francesca Pirrone / Buch Hardcover
common.buy 10.89 €
John and the Big Wish Laura Watkins / Buch Hardcover
common.buy 9.09 €
Computational Algebraic Geometry Frederic Eyssette / Buch Broschur
common.buy 51.09 €
Advances in X-Ray Analysis Charles S. Barrett / Buch Broschur
common.buy 51.09 €
English Drama Before Shakespeare Peter Happe / Buch Broschur
common.buy 64.49 €
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Buch Broschur
common.buy 50.19 €
Gender and Nation Building in the Middle East Elise G Young / Buch Hardcover
common.buy 179.19 €
Con Men, The Leo Gough / Buch Broschur
common.buy 26.09 €
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Buch Hardcover
common.buy 198.89 €
Pascal John Tulloch / Buch Broschur
common.buy 11.59 €
Future of Drylands Cathy Lee / Buch Hardcover
common.buy 203.39 €

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?