- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 69,49, Mittelwert: € 65,73
1
Bestellen
bei lehmanns.de
€ 68,13
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Marta Cialdea Mayer; Fiora Pirri:

Automated Reasoning with Analytic Tableaux and Related Methods - neues Buch

2003, ISBN: 9783540452065

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings, eBooks, eBook Download (PDF), This book constitutes the refereed proceedings of the International … Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
2
Automated Reasoning with Analytic Tableaux and Related Methods - Marta Cialdea Mayer; Fiora Pirri
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Marta Cialdea Mayer; Fiora Pirri:

Automated Reasoning with Analytic Tableaux and Related Methods - neues Buch

2003, ISBN: 9783540452065

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in Sep… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
3
Automated Reasoning with Analytic Tableaux and Related Methods
Bestellen
bei Hugendubel.de
€ 69,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Automated Reasoning with Analytic Tableaux and Related Methods - neues Buch

2003

ISBN: 9783540452065

Automated Reasoning with Analytic Tableaux and Related Methods ab 69.49 € als pdf eBook: International Conference TABLEAUX 2003 Rome Italy September 9-12 2003. Proceedings. Aus dem Bereic… Mehr…

Nr. 33534598. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei lehmanns.de
€ 68,04
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Marta Cialdea Mayer; Fiora Pirri:
Automated Reasoning with Analytic Tableaux and Related Methods - neues Buch

2003, ISBN: 9783540452065

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2003

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
5
Automated Reasoning with Analytic Tableaux and Related Methods
Bestellen
bei eBook.de
€ 69,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Automated Reasoning with Analytic Tableaux and Related Methods - neues Buch

2003, ISBN: 9783540452065

Automated Reasoning with Analytic Tableaux and Related Methods - International Conference TABLEAUX 2003 Rome Italy September 9-12 2003. Proceedings: ab 69.49 € Medien > Bücher > E-books, … Mehr…

Nr. 33534598. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Automated Reasoning with Analytic Tableaux and Related Methods
Autor:
Titel:
ISBN-Nummer:

9783540452065

Detailangaben zum Buch - Automated Reasoning with Analytic Tableaux and Related Methods


EAN (ISBN-13): 9783540452065
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-05-10T02:06:21+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-02-09T01:36:54+01:00 (Berlin)
ISBN/EAN: 9783540452065

ISBN - alternative Schreibweisen:
978-3-540-45206-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: automated reasoning, tableaux

Daten vom Verlag:

Autor/in: Marta Cialdea Mayer; Fiora Pirri
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Verlag: Springer; Springer Berlin
270 Seiten
Erscheinungsjahr: 2003-10-24
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 270 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; AI logics; Automat; Tableaux methods; Text; automated deduction; automated reasoning; conditional logics; formal verification; hybrid logic; logic; logic programming; logical reasoning; modal logics; observation logics; temporal logics; C; Artificial Intelligence; Number Theory; Computer Science; Programming Techniques; Software Engineering; Formal Languages and Automata Theory; Computer Science; Zahlentheorie; Informatik; Computerprogrammierung und Softwareentwicklung; Software Engineering; Theoretische Informatik; BC

Short Abstracts of Invited Lectures.- Non Commutative Logic: A Survey (Abstract).- Dynamical Method in Algebra: A Survey (Abstract).- Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code (Abstract).- Research Papers.- Tableaux with Four Signs as a Unified Framework.- A Labelled Sequent-Calculus for Observation Logic.- Bounded ?ukasiewicz Logics.- Parallel Dialogue Games and Hypersequents for Intermediate Logics.- Simplification Rules for Constrained Formula Tableaux.- Tableau Calculi for Preference-Based Conditional Logics.- A General Tableau Method for Propositional Interval Temporal Logics.- Universal Variables in Disconnection Tableaux.- A Tableau Algorithm for Reasoning about Concepts and Similarity.- XPath and Modal Logics of Finite DAG‘s.- Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.- A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models.- Automatic Abstraction of Equations in a Logic of Equality.- A Free Variable Sequent Calculus with Uniform Variable Splitting.- System Description.- The Tableaux Work Bench.- Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic Logic.- Logistica 2.0: A Technology for Implementing Automatic Deduction Systems.- Fair Constraint Merging Tableaux in Lazy Functional Programming Style.- SOLAR: A Consequence Finding System for Advanced Reasoning.- CondLean: A Theorem Prover for Conditional Logics.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030290252 Automated Reasoning with Analytic Tableaux and Related Methods (Herausgegeben:Cerrito, Serenella; Popescu, Andrei)

< zum Archiv...