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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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: 01558600
Price: 53.79 EUR
Availability: InStock
Author: Moshe Vardi
ISBN: 9783540201014

10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Moshe Vardi

Andrei Voronkov

Sprache

Englisch

Buch Broschur

Libristo-Code: 01558600

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2003

This book constitutes the refereed proceedings of the 10th International Conference on Logic Program... Vollständige Beschreibung

Libristo-Code: 01558600

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

Informationsmodellierung in XML und SGML Henning Lobin

Broschur

54.99 €

Epochen der Musikgeschichte, Heft Wieland Schmid

Broschur

35.29 €

A legnagyszerűbb könyv a nárcizmusról Bánki György

Broschur

14.99 €

Recueil des actes de l'Académie impériale des sciences, belles-lettres et arts de Bordeaux Auteur inconnu

Hardcover

102.29 €

La maladie de Parkinson SOFMA

Broschur

53.79 €

Silencer T04 Sho Fumimura

Broschur

12.29 €

Ambassador Hotel - La mort d'un Kennedy, la naissance d'une rock star Desjardins

Broschur

24.79 €

Un jour, il t'arrivera du bonheur Guerdner

Broschur

20.09 €

Krysí královny Démoni Wiebe Kurtis J.

Broschur

13.69 €

Pharmakovigilanz Sachdev Yadav

Broschur

60.90 €

Agata mène l'enquête, Tome 01 Paul Martin

Broschur

8.79 €

Poker Matisse Drucksachen

Karten

3.99 €

Poník má problémy Jeanne Betancourt

Hardcover

5.99 €

Competencias para el desarrollo de las Habilidades de Pensamiento Gildardo Aguilar

Broschur

45.79 €

Plastic blok NEON zelený A6, linka, 60 listů

Papier- und Schreibwaren

2.69 €

Espanol sin fronteras 2 - CD k pracovnímu sešitu Isabel Santos Gargallo

Digital CD

56.79 €

Friedrich Tabellenbuch Werner Beermann

Hardcover

51.19 €

Die Neuerfindung der Natur Donna Haraway

Broschur

34.00 €

Lalius Oder Von Der Freundschaft Marcus Tullius Cicero

Broschur

9.90 €

Barfussele Berthold Auerbach

Hardcover

24.90 €

Sprichwoerter bei den roemischen Komiker Wilhelm von Wyss

Broschur

32.90 €

Radium Und Die Farben C. Doelter

Broschur

31.90 €

Cyber-Sicherheit Hans-Jürgen Lange

Broschur

54.99 €

Die Konzeption überarbeiten und weiterentwickeln Sonja Alberti

Broschur

17.29 €

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.§§The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.

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 Moshe Vardi, Andrei Voronkov

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2003

Anzahl der Seiten 436

EAN 9783540201014

ISBN 3540201017

Libristo-Code 01558600

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1400

Abmessungen 155 x 233 x 25

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