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

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

Δωρεάν αποστολή με 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

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

Βοήθεια

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

▸ Άδειο :-(

Mechanizing Mathematical Reasoning

Name: Mechanizing Mathematical Reasoning
Brand: Springer, Berlin
SKU: 01560370
Price: 102.99 EUR
Availability: InStock
Author: D. Hutter
ISBN: 9783540250517

D. Hutter

W. Stephan

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01560370

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2004

By presenting state-of-the-art results in logical reasoning and formal methods in the context of art... Πλήρης περιγραφή

Κωδικός Libristo: 01560370

249 b

102.99 €

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

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

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

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

Microtrafico de drogas en ninas y adolescentes Romero Miranda Luis Alejandro

Χαρτόδετο

32.06 €

Das Internet der Dinge Wolfgang Odenthal

Χαρτόδετο

12.64 €

Die rechtlichen Rahmenbedingungen der wirtschaftlichen Nutzung des Weltraums. Stephan Hobe

Χαρτόδετο

65.96 €

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann.The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

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

EWA KASP για

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

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

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

Πλήρες όνομα Mechanizing Mathematical Reasoning

Συγγραφέας D. Hutter, W. Stephan

Γλώσσα

Αγγλική

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

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

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

EAN 9783540250517

ISBN 3540250514

Κωδικός Libristo 01560370

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 860

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

Κατηγορία

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

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

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

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

Computing & Information Technology > Computer science > Artificial intelligence

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

Είναι εύκολο

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