[email protected] Θα απαντήσουμε εντός 24 ωρών

[email protected]

ACS 6.49 € DHL courier 9.99 € Speedex 5.99 € Σημείο ACS 6.49 € Elta 3.99 € Σημείο Elta 3.99 € Box Now 3.99 €

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

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

Βοήθεια

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

▸ Άδειο :-(

Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Brand: Springer, Berlin
SKU: 05274694
Price: 64.16 EUR
Availability: InStock

Didier Galmiche

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 05274694

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

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux... Πλήρης περιγραφή

Κωδικός Libristo: 05274694

161 b

64.16 €

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

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

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

Atlas of Knee Arthroscopy Radu Prejbeanu

/ Σκληρόδετη βιβλιοδεσία

232.56 €

Book of Meissen Robert E. Rontgen

/ Σκληρόδετη βιβλιοδεσία

92.11 €

Thinking Outside the Box William G. O'Callaghan

/ Χαρτόδετη βιβλιοδεσία

60.73 €

Changing Our Minds Susan H. Aiken

/ Χαρτόδετη βιβλιοδεσία

43.88 €

Boehmischen Landtagsverhandlungen und Landtagsbeschlusse vom Jahre 1526 an bis auf die Neuzeit Ohne Autor

/ Χαρτόδετη βιβλιοδεσία

122.28 €

Primordial Emotions Derek Denton

/ Σκληρόδετη βιβλιοδεσία

147.70 €

Collected Poems Donald Davie

/ Χαρτόδετη βιβλιοδεσία

23.90 €

Until Darwin, Science, Human Variety and the Origins of Race B. Ricardo Brown

/ Σκληρόδετη βιβλιοδεσία

220.95 €

Alternatives to the Hospital for Acute Psychiatric Treatment Richard Warner

/ Σκληρόδετη βιβλιοδεσία

35.10 €

Year Book of Ophthalmology 2013 Christopher J. Rapuano

/ Σκληρόδετη βιβλιοδεσία

145.58 €

Yeats Yug Chaudhry

/ Χαρτόδετη βιβλιοδεσία

42.06 €

Beyond Hollywood's Grasp Harry Waldman

/ Σκληρόδετη βιβλιοδεσία

116.83 €

Animal Reproduction Lucas T. Dahnof

/ Σκληρόδετη βιβλιοδεσία

137.71 €

Kolbenpumpen Einschliesslich Der Flugel- Und Rotationspumpen Heinrich Berg

/ Χαρτόδετη βιβλιοδεσία

58.41 €

Delicious Probiotic Drinks Julia Mueller

/ Σκληρόδετη βιβλιοδεσία

15.23 €

Ethik Und Protest Gerhard Schmidtchen

/ Χαρτόδετη βιβλιοδεσία

69.81 €

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

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

Πλήρες όνομα Automated Reasoning with Analytic Tableaux and Related Methods

Συγγραφέας Didier Galmiche

Γλώσσα

Αγγλική

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

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

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

EAN 9783540629207

ISBN 3540629203

Κωδικός Libristo 05274694

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

Βάρος 510

Διαστάσεις 156 x 234 x 20

Κατηγορία

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

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems

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

Computing & Information Technology > Computer science > Systems analysis & design

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

Είναι εύκολο

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

Παράδοση

Οδηγός αγορών