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: nid=1043567615



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1043567615
Person Cramer, Marcos
Andere Namen Cramer, Markos
Quelle Diss., Univ. Bonn, 2013
Wikipedia (Stand: 09.05.2025): https://eo.wikipedia.org/w/index.php?title=Marcos_Cramer&oldid=9052643
Zeit Lebensdaten: 1984-
Land Argentinien (XD-AR); Deutschland (XA-DE)
Sprache(n) Spanisch (spa) ; Esperanto (epo)
Geografischer Bezug Geburtsort: Buenos Aires
Wirkungsort: Luxemburg
Beruf(e) Mathematiker
Philosoph
Informatiker
Esperantist
Typ Person (piz)
Autor von 2 Publikationen
  1. Proof-checking mathematical texts in controlled natural language
    Cramer, Marcos. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
  2. Proof-checking mathematical texts in controlled natural language
    Cramer, Marcos, 2013





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration