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

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

Δωρεάν αποστολή με 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: 01569358
Price: 51.63 EUR
Availability: InStock
Author: Nachum Dershowitz
ISBN: 9783540755586

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

Nachum Dershowitz

Andrei Voronkov

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01569358

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

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

Κωδικός Libristo: 01569358

125 b

51.63 €

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

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

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

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

TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE

Χαρτόδετο

25.05 €

Rodina v 21. století collegium

Χαρτόδετο

4.13 €

Theodor Fontane: Effi Briest Theodor Fontane

Σκληρόδετο

5.65 €

Suburban Hell Taro Kanafuro

Χαρτόδετο

30.81 €

Educación infantil, 3 a?os

Χαρτόδετο

19.19 €

Le Passage du Désir Almira

Χαρτόδετο

11.91 €

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

Χαρτόδετο

38.49 €

Les Tribulations d'un Chinois en Chine Jules Verne

Χαρτόδετο

12.82 €

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

Επιτραπέζιο παιχνίδι

9.08 €

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

Χαρτόδετο

34.75 €

A>tze, das Tintenmonster Ursel Scheffler

Χαρτόδετο

5.65 €

Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone

Χαρτόδετο

80.02 €

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

Χαρτόδετο

17.98 €

Heilkunst und Humor Rosina Sonnenschmidt

Σκληρόδετο

27.48 €

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.

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

EWA KASP για

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

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

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

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

Συγγραφέας Nachum Dershowitz, Andrei Voronkov

Γλώσσα

Αγγλική

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

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

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

EAN 9783540755586

ISBN 3540755586

Κωδικός Libristo 01569358

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

Βάρος 878

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

Κατηγορία

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