Vor Ort
Merkzettel Warenkorb
Produktbild: Frontiers of Combining Systems
Band 12941

Frontiers of Combining Systems 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

72,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.2021

Abbildungen

XVI, 307 p. 41 illus., 19 illus. in color.

Herausgeber

Boris Konev + weitere

Verlag

Springer

Seitenzahl

307

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-86204-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.2021

Abbildungen

XVI, 307 p. 41 illus., 19 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

307

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-86204-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Calculi and Unification.- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.- Non-Disjoint Combined Unification and Closure by Equational Paramodulation.- Symbol Elimination and Applications to Parametric Entailment Problems.- On the copy complexity of width 3 Horn constraint systems.- Description Logics Restricted Unification in the Description Logic FL0.- Combining Event Calculus and Description Logic Reasoning via Logic Programming.- Semantic Forgetting in Expressive Description Logics.- Interactive Theorem Proving Improving Automation for Higher-order Proof Steps.- JEFL: Joint Embedding of Formal Proof Libraries.- Machine Learning Fast and Slow Enigmas and Parental Guidance.- Vampire With a Brain Is a Good ITP Hammer.- Satisfiability Modulo Theories Optimization Modulo Non-Linear Arithmetic via Incremental Linearization.- Quantifier Simplification by Unification in SMT.- Verification Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.- Formal Analysis of Symbolic Authenticity.- Formal Verification of a Java Component Using the RESOLVE Framework.