Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=51*
Treffer 18297 von 18315
|
|
| Link zu diesem Datensatz | https://d-nb.info/1210781522 |
| Titel | Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III / by Alexander Steen |
| Person(en) | Steen, Alexander (Verfasser) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2020052301320838744203 DOI: 10.1007/s13218-019-00628-8 |
| URL | https://doi.org/10.1007/s13218-019-00628-8 |
| Zeitliche Einordnung | Erscheinungsdatum: 2019 |
| DDC-Notation | 511.36028563 [DDC23ger] |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Künstliche Intelligenz (Bd. 34, 18.10.2019, Nr. 1, date:3.2020: 105-108) |
| Schlagwörter | Automatisches Beweisverfahren ; Prädikatenlogik ; Stufe n ; Termersetzungssystem ; Unifikationstheorie |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 18297 von 18315
Administration
