Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569358
Price: 53.79 EUR
Availability: InStock
Author: Nachum Dershowitz
ISBN: 9783540755586

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

Nachum Dershowitz

Andrei Voronkov

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01569358

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE

Broschur

25.89 €

Rodina v 21. století collegium

Broschur

3.89 €

Theodor Fontane: Effi Briest Theodor Fontane

Hardcover

5.79 €

Suburban Hell Taro Kanafuro

Broschur

32.19 €

Educación infantil, 3 a?os

Broschur

18.99 €

Le Passage du Désir Almira

Broschur

12.29 €

La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ

Broschur

39.79 €

Les Tribulations d'un Chinois en Chine Jules Verne

Broschur

12.69 €

Schule der magischen Tiere - Auf die Plätze! Carlo Rossi

Spiel

10.99 €

Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel

Broschur

38.95 €

A>tze, das Tintenmonster Ursel Scheffler

Broschur

5.89 €

Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone

Broschur

84.99 €

Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam

Broschur

19.95 €

Heilkunst und Humor Rosina Sonnenschmidt

Hardcover

29.00 €

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

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