Frontiers of Combining Systems [[electronic resource] ] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda

• Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
• Edizione: 1st ed. 2023.
• Descrizione fisica: 1 online resource (XVI, 275 p. 421 illus., 12 illus. in color.)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence; Software engineering; Computer engineering; Computer networks; Computer science; Machine theory; Artificial Intelligence; Software Engineering; Computer Engineering and Networks; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory
• Persona (resp. second.): SattlerUli; SudaMartin
• Nota di contenuto: Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.
• Sommario/riassunto: 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.
• Titolo autorizzato: Frontiers of Combining Systems
• ISBN: 3-031-43369-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996550548103316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Artificial Intelligence, . 2945-9141 ; ; 14279