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

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

Δωρεάν αποστολή με 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: 01564956
Price: 102.86 EUR
Availability: InStock
Author: Miki Hermann
ISBN: 9783540482819

13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Miki Hermann

Andrei Voronkov

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01564956

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

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

Κωδικός Libristo: 01564956

249 b

102.86 €

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

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

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

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

Sudoku für Kinder von 6-8 Jahren: 200 Sudokus für intelligente Kinder von 6-8 Jahren - Mit Anleitungen, Profi-Tipps und Lösungen - Großdruck Kampelmann

Χαρτόδετο

9.89 €

TOUT VA BIEN! 1 CD AUDIO /2/ CLASSE Claire Marlhens

Audio CD

56.07 €

Heimat und Welt - Ausgabe 2012 für Nordrhein-Westfalen Edgar Brants

Σκληρόδετο

41.12 €

Jedlé a jedovaté rostliny a plody Katrin Heckerová

Σκληρόδετο

5.65 €

Netzwerk A1 Kursbuch + 2CD + DVD Stefanie Dengler

Χαρτόδετο

33.14 €

La mora del acreedor. Caballero Lozano

Χαρτόδετο

48.80 €

Breviarium Sacri Ordinis Cartusiensis Carthusians

Σκληρόδετο

47.99 €

El internet Owen Jones

Adobe ePub DRM

7.37 €

Duše a sebevražda James Hillman

Λίστα

10.60 €

Auswirkungen der Rentenreform auf die Stabilität des Geldwertes. Ingo Schmidt

Χαρτόδετο

37.68 €

Dřevěné kostky 4K Kohout

Παιχνίδι

5.65 €

Einmal im Leben Jhumpa Lahiri

Χαρτόδετο

9.99 €

Schutz geographischer Herkunftsangaben Florian Schwarz

Χαρτόδετο

16.16 €

Sensations BERRIER-C

Χαρτόδετο

28.49 €

Eigenkapitalausweis bei Banken in Abhangigkeit von der Rechtsform (HGB vs. IFRS) Harm Linnecke

Χαρτόδετο

17.07 €

Du Traitement de la Tuberculose Pulmonaire BOUIC-V

Χαρτόδετο

14.34 €

Patientenorientierte Pflege als professionelle Dienstleistung in der perioperativen Betreuungsphase Michael Barkow

Χαρτόδετο

42.74 €

Transe M.I.A

Χαρτόδετο

29.50 €

manco de Lepanto episodio de la vida del principe de los ingenios, Miguel de Cervantes-Saavedra Manuel Fernández y González

Σκληρόδετο

17.88 €

Geschichte der Juden im ehemaligen Furstentum Ansbach Haenle S. Haenle

Χαρτόδετο

19.70 €

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.

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

EWA KASP για

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

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

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

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

Συγγραφέας Miki Hermann, Andrei Voronkov

Γλώσσα

Αγγλική

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

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

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

EAN 9783540482819

ISBN 3540482814

Κωδικός Libristo 01564956

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

Βάρος 1870

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

Κατηγορία

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

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

Είναι εύκολο

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

Μπορεί να σας ενδιαφέρει

Embedded Software Alberto Sangiovanni-Vincentelli

Χαρτόδετο

51.63 €

Endogenous Economic Fluctuations Mordecai Kurz

Σκληρόδετο

154.20 €

Approvals of Air Quality Implementation Plans - California - San Joaquin Valley - Attainment Plan for 1997 8-hour Ozone Standards (US Environmental Pr The Law Library

Χαρτόδετο

20.20 €

Reverend Roger J Zimmermann

Χαρτόδετο

20.30 €

Visual Prosthetics Gislin Dagnelie

Χαρτόδετο

102.86 €

Rihanna Deluxe

Σκληρόδετο

169.66 €

What Your Body Is Telling You DAVID ROWLAND

Χαρτόδετο

8.18 €

New York Neighborhoods - Addressing Sustainable City Principles Raymond Charles Rauscher

Σκληρόδετο

100.64 €

The Power of Numerology: A Guidebook to Discover the Unknown You Stefanina

Χαρτόδετο

15.55 €

Evidence That Demands a Verdict Bible Study Guide Josh McDowell

Χαρτόδετο

11.31 €

Hypocrisy Unmasked; or, a Short Inquiry Into the Religious Complaints of our American Colonies. To Which is Added, a Word on the Laws Against Popery i MULTIPLE CONTRIBUTOR

Σκληρόδετο

28.18 €