Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings

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...

Celý popis

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Sattler, Uli, Suda, Martin
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham Springer Nature 2023 Springer
Vydání:	1
Edice:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Témata:	artificial intelligence automated reasoning computer networks computer systems constraint solving decision procedures description logics formal languages formal logic network protocols ontologies semantics software architecture software design software engineering software quality verification and validation
ISBN:	9783031433696, 3031433688, 9783031433689, 3031433696
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!