Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 51230 von 52958
|
|
| Link zu diesem Datensatz | https://d-nb.info/101382816X |
| Art des Inhalts | Hochschulschrift |
| Titel | Proof search without backtracking for free variable tableaux / Martin Giese |
| Person(en) | Giese, Martin (Verfasser) |
| Verlag | Karlsruhe : KIT-Bibliothek |
| Zeitliche Einordnung | Erscheinungsdatum: 2002 |
| Umfang/Format | Online-Ressource |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Giese, Martin: Proof search without backtracking for free variable tableaux |
| Hochschulschrift | Karlsruhe, Univ., Diss., 2002 |
| Persistent Identifier | URN: urn:nbn:de:swb:90-AAA45720039 |
| URL | http://digbib.ubka.uni-karlsruhe.de/volltexte/4572003 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter |
Prädikatenlogik ; Stufe 1 ; Automatisches Beweisverfahren Automatisches Beweisverfahren ; Backtracking ; Tableau <Logik> ; Abgeschlossenheit <Mathematik> ; Inkrementeller Algorithmus |
| Sachgruppe(n) | 004 Informatik ; 510 Mathematik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 51230 von 52958
Administration
