Frontiers of Combining Systems 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, proceedings

Bibliographische Detailangaben

Körperschaft:	FroCoS (VerfasserIn)
Weitere Verfasser:	Konev, Boris (HerausgeberIn), Reger, Giles (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2021
Schriftenreihe:	Lecture notes in computer science 12941
Schlagworte:	Konferenzschrift > Formale Sprache > Mathematische Logik
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!