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

Full description

Saved in:

Bibliographic Details
Main Authors:	Sattler, Uli, Suda, Martin
Format:	eBook
Language:	English
Published:	Cham Springer Nature 2023 Springer
Edition:	1
Series:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!