Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

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

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

Moshe Vardi

Andrei Voronkov

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01558600

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Σεπτέμβριος 2003

This book constitutes the refereed proceedings of the 10th International Conference on Logic Program... Πλήρης περιγραφή

Κωδικός Libristo: 01558600

125 b

51.69 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

Informationsmodellierung in XML und SGML Henning Lobin

Χαρτόδετο

51.89 €

Epochen der Musikgeschichte, Heft Wieland Schmid

Χαρτόδετο

38.13 €

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

Χαρτόδετο

14.36 €

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

Σκληρόδετο

97.73 €

La maladie de Parkinson SOFMA

Χαρτόδετο

52.20 €

Silencer T04 Sho Fumimura

Χαρτόδετο

11.93 €

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

Χαρτόδετο

24.07 €

Un jour, il t'arrivera du bonheur Guerdner

Χαρτόδετο

19.52 €

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

Χαρτόδετο

13.85 €

Pharmakovigilanz Sachdev Yadav

Χαρτόδετο

54.32 €

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

Χαρτόδετο

8.49 €

Poker Matisse Έντυπα

Κάρτες

4.04 €

Poník má problémy Jeanne Betancourt

Σκληρόδετο

5.45 €

Competencias para el desarrollo de las Habilidades de Pensamiento Gildardo Aguilar

Χαρτόδετο

43.80 €

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

Χαρτικά/γραφική ύλη

2.72 €

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

Digital CD

55.03 €

Friedrich Tabellenbuch Werner Beermann

Σκληρόδετο

49.26 €

Die Neuerfindung der Natur Donna Haraway

Χαρτόδετο

32.16 €

Lalius Oder Von Der Freundschaft Marcus Tullius Cicero

Χαρτόδετο

8.99 €

Barfussele Berthold Auerbach

Σκληρόδετο

22.35 €

Sprichwoerter bei den roemischen Komiker Wilhelm von Wyss

Χαρτόδετο

29.43 €

Radium Und Die Farben C. Doelter

Χαρτόδετο

28.52 €

Cyber-Sicherheit Hans-Jürgen Lange

Χαρτόδετο

51.89 €

Die Konzeption überarbeiten und weiterentwickeln Sonja Alberti

Χαρτόδετο

16.68 €

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.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Logic for Programming, Artificial Intelligence, and Reasoning

Συγγραφέας Moshe Vardi, Andrei Voronkov

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2003

Αριθμός σελίδων 436

EAN 9783540201014

ISBN 3540201017

Κωδικός Libristo 01558600

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 1400

Διαστάσεις 155 x 233 x 25

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Computing & Information Technology > Operating systems

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη