Vor Ort
Merkzettel Warenkorb
  • Produktbild: Frontiers of Combining Systems
  • Produktbild: Frontiers of Combining Systems
Band 5749

Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2009

Abbildungen

X, 383 p.

Herausgeber

Silvio Ghilardi + weitere

Verlag

Springer Berlin

Seitenzahl

383

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04221-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2009

Abbildungen

X, 383 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

383

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04221-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Frontiers of Combining Systems
  • Produktbild: Frontiers of Combining Systems
  • Invited Talks.- Building SMT-Based Software Model Checkers: An Experience Report.- Combining Nonmonotonic Knowledge Bases with External Sources.- Combining Description Logics, Description Graphs, and Rules.- Combining Equational Reasoning.- Technical Papers.- Superposition Modulo Linear Arithmetic SUP(LA).- Unification Modulo Homomorphic Encryption.- Argument Filterings and Usable Rules for Simply Typed Dependency Pairs.- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles.- Runtime Verification Using a Temporal Description Logic.- Axiomatization and Completeness of Lexicographic Products of Modal Logics.- Automating Theories in Intuitionistic Logic.- Taming the Complexity of Temporal Epistemic Reasoning.- Putting ABox Updates into Action.- A Declarative Agent Programming Language Based on Action Theories.- Termination Modulo Combinations of Equational Theories.- Combinations of Theories for Decidable Fragments of First-Order Logic.- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property.- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme.- Combining Instance Generation and Resolution.- Data Structures with Arithmetic Constraints: A Non-disjoint Combination.- Efficient Combination of Decision Procedures for MUS Computation.- Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas.- Combining Theories with Shared Set Operations.