Frontiers of Combining Systems
14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
Seiten
2023
|
1st ed. 2023
Springer International Publishing (Verlag)
978-3-031-43368-9 (ISBN)
Springer International Publishing (Verlag)
978-3-031-43368-9 (ISBN)
This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.
The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.
This is an open access book.
The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.
This is an open access book.
Analysis of Programs and Equations.- Unification.- Decidable Fragments.- Frameworks.- Higher-order Theorem Proving.
Erscheinungsdatum | 16.09.2023 |
---|---|
Reihe/Serie | Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science |
Zusatzinfo | XVI, 275 p. 421 illus., 12 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 450 g |
Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
Schlagworte | Artificial Intelligence • automated reasoning • Computer Networks • Computer systems • Constraint Solving • Decision Procedures • Description Logics • Formal Languages • Formal Logic • Network Protocols • Ontologies • open access • Semantics • software architecture • Software Design • Software engineering • Software Quality • Verification and Validation |
ISBN-10 | 3-031-43368-8 / 3031433688 |
ISBN-13 | 978-3-031-43368-9 / 9783031433689 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was sie kann & was uns erwartet
Buch | Softcover (2023)
C.H.Beck (Verlag)
18,00 €
von absurd bis tödlich: Die Tücken der künstlichen Intelligenz
Buch | Softcover (2023)
Heyne (Verlag)
20,00 €
dem Menschen überlegen – wie KI uns rettet und bedroht
Buch | Hardcover (2023)
Droemer (Verlag)
24,00 €