Logical foundations of computer science: international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: LFCS Deerfield Beach, Fla (VerfasserIn)
Weitere Verfasser: Artemov, Sergej N. 1951- (HerausgeberIn), Nerode, Anil (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2022]
Schriftenreihe:Lecture notes in computer science 13137
Schlagworte:
Online-Zugang:DE-634
DE-1050
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-523
DE-91
DE-473
DE-19
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers
Beschreibung:1 Online-Ressource (x, 377 Seiten) 18 Illustrationen, 2 in Farbe
ISBN:9783030931001
DOI:10.1007/978-3-030-93100-1

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen