Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=932017312
Link zu diesem Datensatz | https://d-nb.info/932017312 |
Titel | Resolution für quantifizierte Boole'sche Formeln |
Person(en) | Flögel, Andreas (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1993 |
Umfang/Format | 144 S. : graph. Darst. ; 21 cm |
Hochschulschrift | Paderborn, Univ., Diss., 1993 |
Schlagwörter | Boolesche Formel ; Klausellogik |
Sachgruppe(n) | 27 Mathematik ; 28 Informatik, Datenverarbeitung |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: H 1993 A 2328
Bereitstellung in Frankfurt |
Leipzig |
Signatur: H 1993 A 2328
Bereitstellung in Leipzig |