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

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

Δωρεάν αποστολή με 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: 01555913
Price: 50.52 EUR
Availability: InStock
Author: Matthias Baaz
ISBN: 9783540000105

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Matthias Baaz

Andrei Voronkov

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01555913

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Οκτώβριος 2002

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

Κωδικός Libristo: 01555913

122 b

50.52 €

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

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

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

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

Leto tvojej nehy Juraj Kalnický

Σκληρόδετο

3.32 €

Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered

Σκληρόδετο

14.44 €

Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts

Audio CD

63.15 €

LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES

Βιβλίο

17.07 €

Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová

Χαρτόδετο

10.40 €

CONTRE-NOIR MATTHIEU PECK

Χαρτόδετο

25.25 €

Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell

Σκληρόδετο

19.70 €

Mezi vilami Justin Quinn

Σκληρόδετο

10.70 €

Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta

Χαρτόδετο

11.71 €

Promenades A Chamouni Lutz-M

Χαρτόδετο

15.25 €

Karma Tolstói

Χαρτόδετο

12.22 €

Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre

Χαρτόδετο

34.65 €

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

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

EWA KASP για

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

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

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

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

Συγγραφέας Matthias Baaz, Andrei Voronkov

Γλώσσα

Αγγλική

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

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

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

EAN 9783540000105

ISBN 3540000100

Κωδικός Libristo 01555913

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

Βάρος 1490

Διαστάσεις 155 x 235 x 27

Κατηγορία

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη