Front Matter, Table of Contents, Preface, Conference Organization

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 323 von 5780


Link zu diesem Datensatz	https://d-nb.info/1366702409
Titel	Front Matter, Table of Contents, Preface, Conference Organization / June Andronick, Leonardo de Moura
Person(en)	Andronick, June (Verfasser) de Moura, Leonardo (Verfasser)
Verlag	Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung	Erscheinungsdatum: 2022
Umfang/Format	Online-Ressource (pdf)
Persistent Identifier	URN: urn:nbn:de:0030-drops-167097 DOI: 10.4230/LIPIcs.ITP.2022.0
URL	https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2022.0 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Beziehungen	Leibniz International Proceedings in Informatics, 2022, Volume 237, 13th International Conference on Interactive Theorem Proving (ITP 2022), page 0:i-0:x
DDC-Notation	004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 323 von 5780

Korrekturanfrage