Vor Ort
Merkzettel Warenkorb
  • Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods
  • Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods
Band 5607

Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2009

Abbildungen

XII, 341 p.

Herausgeber

Martin Giese + weitere

Verlag

Springer Berlin

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02715-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2009

Abbildungen

XII, 341 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02715-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods
  • Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods
  • Presenting Constraints.- On the Use of Automata for Deciding Linear Arithmetic.- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.- A Schemata Calculus for Propositional Logic.- Tableaux and Model Checking for Memory Logics.- Canonical Constructive Systems.- A Novel Architecture for Situation Awareness Systems.- On the Proof Theory of Regular Fixed Points.- Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus.- A Tableau-Based System for Spatial Reasoning about Directional Relations.- Terminating Tableaux for the Basic Fragment of Simple Type Theory.- Modular Sequent Systems for Modal Logic.- Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions.- Goal-Directed Invariant Synthesis for Model Checking Modulo Theories.- Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.- Sound Global State Caching for ALC with Inverse Roles.- A Tableau System for the Modal ?-Calculus.- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.- Prime Implicate Tries.- Proof Systems for a Gödel Modal Logic.- Generic Modal Cut Elimination Applied to Conditional Logics.- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.- Automated Synthesis of Tableau Calculi.- Tableaux for Projection Computation and Knowledge Compilation.