Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: tit all "Granularity-Adaptive Proof Presentation"

Zurück zur Trefferliste


Treffer 1 von 2 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1331543533
Titel Granularity-Adaptive Proof Presentation / Marvin Schiller, Christoph Benzmüller
Person(en) Schiller, Marvin (Verfasser)
Benzmüller, Christoph (Verfasser)
Verlag Saarbrücken : Saarländische Universitäts- und Landesbibliothek
Zeitliche Einordnung Erscheinungsdatum: 2024
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:bsz:291--ds-421284
URL https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/37768 (Verlag)
Sprache(n) Englisch (eng)
Beziehungen SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931];2009,01
DDC-Notation 005.14 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 2
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration