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=119133865



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/119133865
Person Nerode, Anil
Quelle LoC
Zeit Lebensdaten: 1932-
Land USA (XD-US)
Beruf(e) Mathematiker
Mathematiker
Informatiker
Weitere Angaben Mathematiker, Erzieher, USA
Systematik 28p Personen zu Mathematik ; 30p Personen zu Informatik, Datenverarbeitung
Typ Person (piz)
Autor von 5 Publikationen
  1. Automata theory and its applications
    Khoussainov, Bakhadyr. - Basel : Birkhäuser, 2001
  2. Logic for applications
    Nerode, Anil. - New York : Springer, 1997, 2. ed.
  3. ...
Beteiligt an 6 Publikationen
  1. Workshop on Computability and Complexity in Analysis
    Hagen : FernUniversität in Hagen, 2018
  2. Logical Foundations of Computer Science
    Cham : Springer International Publishing, 2015, 1st edition 2016
  3. ...
Thema in 2 Publikationen
  1. Logical methods
    Boston : Birkhäuser, 1993
  2. Logical Methods
    Boston, MA : Birkhäuser Boston, 1993





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration