Logical foundations of computer science ; International Symposium, LFCS 2018 : Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings

Weitere Verfasser: [HerausgeberIn] ; 1932- [HerausgeberIn]
Verfasserangabe: Sergei Artemov, Anil Nerode (eds.)
Kongress: LFCS [VerfasserIn]
Format: Konferenzbericht, Buch
Sprache: Englisch
veröffentlicht: Cham: Springer, [2018]
Gesamtaufnahme:
Schlagworte:
RVK-Klassifikation: SS 4800Ähnliche Treffer finden
54.71Ähnliche Treffer finden
ISBN: 9783319720555
9783319720562
3319720554
3319720562
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Weitere Titel: on
Beschreibung: X, 367 Seiten; Diagramme; 159 x 236 x 22
Fussnoten: Literaturangaben.