Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Machine Learning"
Treffer 91 von 103
|
|
| Link zu diesem Datensatz | https://d-nb.info/1365182967 |
| Titel | Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121) / Nils Jansen, Joost-Pieter Katoen, Pusmeet Kohli, Jan Kretinsky |
| Person(en) |
Jansen, Nils (Verfasser) Katoen, Joost-Pieter (Verfasser) Kohli, Pusmeet (Verfasser) Kretinsky, Jan (Verfasser) |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:0030-drops-92988 DOI: 10.4230/DagRep.8.3.74 |
| URL | https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.74 (Verlag) (kostenfrei zugänglich) |
| Zeitliche Einordnung | Erscheinungsdatum: 2018 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports (, 2018, Volume 8, Issue 3, page 74-93) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 91 von 103
Administration
