Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=1014950791



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1014950791
Person Ayala-Rincón, Mauricio
Akademischer Grad Dr. rer. nat.
Geschlecht männlich
Andere Namen Rincón, Mauricio Ayala-
Ayala Rincon, Mauricio
Rincon, Mauricio Ayala
Rincon, Mauricio A.
Quelle LCAuth
Land Brasilien (XD-BR)
Beruf(e) Informatiker
Weitere Angaben Brasilianischer Informatiker; Professor am Departamento de Matemática, Universidade de Brasilia. - Promotion 1993 an der Universität Kaiserslautern
Beziehungen zu Organisationen Universidade de Brasília
Typ Person (piz)
Autor von 5 Publikationen
  1. Formalization of the Computational Theory of a Turing Complete Functional Language Model
    Enthalten in Journal of automated reasoning 30.1.2022: 1-33
  2. Formalization of Ring Theory in PVS
    Enthalten in Journal of automated reasoning 12.5.2021: 1-33
  3. ...
Beteiligt an 1 Publikation
  1. Interactive Theorem Proving
    Cham : Springer Nature Switzerland, 2017, 1st edition 2017





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration