Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 27 von 309
|
|
| Link zu diesem Datensatz | https://d-nb.info/1218398310 |
| Titel | TEMPLAR : efficient determination of relevant axioms in big formula sets for theorem proving / Mario Frank |
| Person(en) | Frank, Mario (Verfasser) |
| Verlag | Potsdam : Universität Potsdam |
| Zeitliche Einordnung | Erscheinungsdatum: 2014 |
| Umfang/Format | Online-Ressource (pdf) |
| Hochschulschrift | Masterarbeit, Potsdam, Universität Potsdam |
| Persistent Identifier | URN: urn:nbn:de:kobv:517-opus-72112 |
| URL | https://publishup.uni-potsdam.de/frontdoor/index/index/docId/6970 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| DDC-Notation | 511.36028563 [DDC23ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 27 von 309
Administration
