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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sattler, Uli, Suda, Martin
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer Nature 2023 Springer
Ausgabe:	1
Schriftenreihe:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!