Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 9 von 718
|
|
| Link zu diesem Datensatz | https://d-nb.info/1167441656 |
| Art des Inhalts | Hochschulschrift |
| Titel | Extensional paramodulation for higher-order logic and its effective implementation Leo-III / Alexander Steen |
| Person(en) | Steen, Alexander (Verfasser) |
| Verlag | Berlin : Akademische Verlagsgesellschaft AKA GmbH - Amsterdam : IOS Press |
| Zeitliche Einordnung | Erscheinungsdatum: [2018] |
| Umfang/Format | xiii, 231 Seiten : Illustrationen ; 21 cm |
| Hochschulschrift | Dissertation, Freie Universität Berlin, 2018 |
| ISBN/Einband/Preis |
978-1-61499-919-5 Broschur 978-3-89838-739-2 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Dissertationen zur künstlichen Intelligenz ; Volume 345 |
| Schlagwörter | Automatisches Beweisverfahren ; Prädikatenlogik ; Stufe n ; Termersetzungssystem ; Unifikationstheorie |
| DDC-Notation | 511.36028563 [DDC23ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2018 A 64201
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2019 A 28298
Bereitstellung in Leipzig |
Treffer 9 von 718
Administration
