Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="rb"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1026735246 |
Art des Inhalts | Hochschulschrift |
Titel | On the Representation of Mathematical Concepts and their Translation into First-Order Logic / Manfred Kerber |
Person(en) | Kerber, Manfred (Verfasser) |
Verlag | Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik |
Zeitliche Einordnung | Erscheinungsdatum: 1999 |
Umfang/Format | Online-Ressource |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Kerber, Manfred: On the representation of mathematical concepts and their translation into first-order logic |
Hochschulschrift | Zugl.: Kaiserslautern, Univ., Diss., 1992 |
Persistent Identifier | URN: urn:nbn:de:hbz:386-kluedo-3057 |
URL | https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/334 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Beziehungen | SEKI Report ; 92,08 |
Online-Zugriff | Archivobjekt öffnen |
