Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=920724094
Link zu diesem Datensatz | https://d-nb.info/920724094 |
Art des Inhalts | Hochschulschrift |
Titel | On the representation of mathematical concepts and their translation into first-order logic |
Person(en) | Kerber, Manfred (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1992 |
Umfang/Format | 131 S. : graph. Darst. ; 21 cm |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Kerber, Manfred: On the Representation of Mathematical Concepts and their Translation into First-Order Logic |
Hochschulschrift | Kaiserslautern, Univ., Diss., 1992 |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: H 92/3087 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: Di 1992 A 8881 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |