Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=931883970
Link zu diesem Datensatz | https://d-nb.info/931883970 |
Titel | First-order calculi and proof procedures for automated deduction |
Person(en) | Letz, Reinhold (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1993 |
Umfang/Format | 195 S. : graph. Darst. ; 21 cm |
Hochschulschrift | Darmstadt, Techn. Hochsch., Diss., 1993 |
Schlagwörter | Automatisches Beweisverfahren ; Prädikatenlogik ; Stufe 1 |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: H 1993 A 8970
Bereitstellung in Frankfurt |
Leipzig |
Signatur: H 1993 A 8970
Bereitstellung in Leipzig |