UID:
almahu_9949567183102882
Umfang:
XVI, 275 p. 421 illus., 12 illus. in color.
,
online resource.
Ausgabe:
1st ed. 2023.
ISBN:
9783031433696
Serie:
Lecture Notes in Artificial Intelligence, 14279
Inhalt:
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 RelatedMethods, 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.
Anmerkung:
Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9783031433689
Weitere Ausg.:
Printed edition: ISBN 9783031433702
Sprache:
Englisch
DOI:
10.1007/978-3-031-43369-6
URL:
https://doi.org/10.1007/978-3-031-43369-6
Bookmarklink
