Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "{{{1}}}"

Zurück zur Trefferliste


Treffer 24 von 286946 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1378254376
Titel A Certified Proof Checker for Deep Neural Network Verification in Imandra / Remi Desmartin, Omri Isac, Grant Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz
Person(en) Desmartin, Remi (Verfasser)
Isac, Omri (Verfasser)
Passmore, Grant (Verfasser)
Komendantskaya, Ekaterina (Verfasser)
Stark, Kathrin (Verfasser)
Katz, Guy (Verfasser)
Verlag Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung Erscheinungsdatum: 2025
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:0030-drops-246000
DOI: 10.4230/LIPIcs.ITP.2025.1
URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2025.1 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Leibniz International Proceedings in Informatics, 2025, Volume 352, 16th International Conference on Interactive Theorem Proving (ITP 2025), page 1:1-1:21
DDC-Notation 004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 24 von 286946
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration