Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Equality reasoning based on graphs."
Link zu diesem Datensatz | https://d-nb.info/870791168 |
Art des Inhalts | Hochschulschrift |
Titel | Equality reasoning based on graphs |
Person(en) | Bläsius, Karl Hans (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1986 |
Umfang/Format | 162 S. : graph. Darst. ; 21 cm |
Hochschulschrift | Kaiserslautern, Univ., Diss., 1986 |
Schlagwörter | Graph / Gleichheitsrelation in automat. Deduktionssystemen ; Gleichheit (Mathematik) / automat. Deduktionssysteme ; Relation (Mathematik) / Gleichheits ̃ in automat. Deduktionssystemen |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 0300 Mathematik, Physik, Astronomie |
Frankfurt |
Signatur: H 87/2023
Bereitstellung in Frankfurt |
Leipzig |
Signatur: Di 1987 A 3533
Bereitstellung in Leipzig |