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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Brand: Springer, Berlin
SKU: 01567478
Price: 51.59 EUR
Availability: InStock
Author: Roy Dyckhoff
ISBN: 9783540676973

International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Roy Dyckhoff

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01567478

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

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

Κωδικός Libristo: 01567478

125 b

51.59 €

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

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

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

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

Terapia zajęciowa Kompendium Bac Aneta

Χαρτόδετο

25.03 €

Kat Menschiks und des Diplom-Biologen Doctor Rerum Medicinalium Mark Beneckes Illustrirtes Thierleben Kat Menschik

Digital

22.71 €

Bubble Blaster + płyn 0,4 ml

Παιχνίδι

22.30 €

Neuvěřitelné a pravdivé rybařské historky Shau Morey

Σκληρόδετο

12.11 €

Manual de Metodos Diagnosticos em Medicina do Sono Luciano Ribeiro Pinto Junior

Χαρτόδετο

29.98 €

Abenteuer mit Robbe, Möwe, Leuchtturm & Co. Sandra Ernst

Χαρτόδετο

25.03 €

Ahoi! 55 Spielkarten mit Motiven von der Küste Dario Genuardi

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

6.86 €

Colorea tus propias postales del verano REBECCA JONES

Χαρτόδετο

17.15 €

Entromantisiert euch! Beatrice Frasl

Σκληρόδετο

20.99 €

Thundercats Ultimates Action Figure Claudus 18 cm Παιχνίδι/Επιτραπέζιο παιχνίδι

Παιχνίδι

82.08 €

Sky (Lao edition) - ທ້ອງຟ້າ ຟາເຣຍ ອິສ໌ລໍາ

Χαρτόδετο

11.30 €

SuperZings MAGIC BOX INT. TOYS

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

4.43 €

Der Kampf um Hohentwiel Louise Pichler

Χαρτόδετο

17.96 €

BABADADA, slovensčina - espanol, Slikovni slovar - diccionario visual Babadada Gmbh

Χαρτόδετο

29.78 €

Kaligrafia dla dzieci Praca zbiorowa

Χαρτόδετο

2.01 €

Manuel de Medecine, d'Hygiene, de Chirurgie Et de Pharmacie Domestiques. 10e Edition DEHAUT-F

Χαρτόδετο

50.27 €

Lexikon der Hendelsgeographie Karl Emil Jung

Χαρτόδετο

32.00 €

Jahreshefte Des Joseph Beuys Archivs 1/2001 Ron Manheim

Χαρτόδετο

48.96 €

Antigone-Edipo re-Edipo a Colono. Testo greco a fronte Sofocle

Χαρτόδετο

13.01 €

Ilustración digital de moda : una guía práctica paso a paso Loreto Binvignat Streeter

Χαρτόδετο

36.94 €

Amandi're(l') Simonetta Agnello

Χαρτόδετο

10.39 €

Persuasión Jane Austen

Χαρτόδετο

11.90 €

Los Mejores Mensajes de Dante Gebel Dante Gebel

Χαρτόδετο

13.01 €

Fröhliche Melancholie - Tanz in Industrieruinen Arne Winkelmann

Χαρτόδετο

79.76 €

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in July 2000.§The 23 revised full papers and 2 system descriptions presented were carefully reviewed and selected from 42 submissions. Also included are 3 invited lectures and 6 nonclassical system comparisons. All current issues surrounding the mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation, systems development, and applications, as well as covering a broad variety of logical calculi.

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

EWA KASP για

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

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

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

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

Συγγραφέας Roy Dyckhoff

Γλώσσα

Αγγλική

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

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

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

EAN 9783540676973

ISBN 354067697X

Κωδικός Libristo 01567478

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

Βάρος 635

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

Κατηγορία

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

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

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

Computing & Information Technology > Computer science > Artificial intelligence

Medicine & Nursing > Medicine: general issues

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

Είναι εύκολο

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

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

The deerslayer. By: J. Fenimore Cooper, illudtrated By: Edward J. Wheeler: Adventure novel, Historical novel (Series: Leatherstocking Tale J Fenimore Cooper

Χαρτόδετο

17.36 €

Great Second Advent Movement John Norton Loughborough

Χαρτόδετο

30.18 €

Crack in Everything Marcus Chown

Χαρτόδετο

13.92 €

Christmas Street Ingela P. Arrhenius

Leporelo

16.04 €

Surprise Package Sheila Roy

Χαρτόδετο

22.10 €

Hell, Ink, and Water: The Art of Mike Mignola Mike Mignola

Σκληρόδετο

29.88 €

The Indian Fairy Book: From the Original Legends Cornelius Mathews

Χαρτόδετο

26.75 €

Petals Between the Pages: Once Upon A Fairytale Series Serene Heiner

Χαρτόδετο

7.06 €

Lost City of Books Gregory L Norris

Σκληρόδετο

25.94 €

Islam in Islamic Terrorism Ibn Warraq

Χαρτόδετο

24.53 €

Britain, 1846-1919 Jocelyn Hunt

Χαρτόδετο

63.20 €

Charles E. Richter and First National Bank of Laredo, Petitioners, V. Laredo National Bank and W. W. Collier, Receiver of First National Bank of Lared Howard Templeton

Χαρτόδετο

25.33 €

Watercolor Workshop Notebook (Paperback) Sasha Prood

Ημερολόγιο

12.01 €

Abridgment of That Eminent Patriot Mr. John Trenchard's History of Standing Armies in England. with an Incomparable Preface Upon Government JOHN TRENCHARD

Σκληρόδετο

28.16 €