Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: cod="rb"



Treffer 47148 von 47832 < < > <



Online Ressourcen
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




Treffer 47148 von 47832
< < > <


E-Mail-IconAdministration