Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 8 von 309
|
|
| Link zu diesem Datensatz | https://d-nb.info/111406761X |
| Art des Inhalts | Hochschulschrift |
| Titel | Automatic Construction of Implicative Theories for Mathematical Domains / Artem Revenko ; Gutachter: Sebastian Rudolph ; Bernhard Ganter, Gernot Salzer |
| Person(en) |
Revenko, Artem (Verfasser) Ganter, Bernhard (Akademischer Betreuer) Salzer, Gernot (Akademischer Betreuer) Rudolph, Sebastian (Gutachter) |
| Verlag | Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden - Dresden : Technische Universität Dresden |
| Zeitliche Einordnung | Erscheinungsdatum: 2016 |
| Umfang/Format | Online-Ressource |
| Hochschulschrift | Dissertation, Dresden, Technische Universität Dresden, 2015 |
| Persistent Identifier | URN: urn:nbn:de:bsz:14-qucosa-197794 |
| URL | http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-197794 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Implikation ; Identität <Mathematik> ; Funktion <Mathematik> ; Merkmalsextraktion ; Formale Begriffsanalyse |
| DDC-Notation | 511.3 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 8 von 309
Administration
