Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Granularity-Adaptive Proof Presentation"
Link zu diesem Datensatz | https://d-nb.info/994893000 |
Titel | Granularity adaptive proof presentation / Marvin Schiller ; Christoph Benzmüller. German Research Center for Artificial Intelligence ... |
Person(en) |
Schiller, Marvin (Verfasser) Benzmüller, Christoph (Verfasser) |
Verlag | Bremen ; Kaiserslautern ; Saarbrücken : German Research Center for Artificial Intelligence (DFKI GmbH) [u.a.] |
Zeitliche Einordnung | Erscheinungsdatum: 2009 |
Umfang/Format | 12 S. ; 30 cm |
ISBN/Einband/Preis | geh. |
Sprache(n) | Englisch (eng) |
Beziehungen | SEKI working paper ; 2009,01 |
Sachgruppe(n) | 004 Informatik |
Frankfurt |
Signatur: 2009 B 10506
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2009 B 30699
Bereitstellung in Leipzig |