http://d-nb.info/gnd/142488941




Personen
Link zu diesem Datensatz http://d-nb.info/gnd/142488941
Person Clarke, Edmund M.
Geschlecht männlich
Andere Namen Clarke, Edmund
Clarke, E. M.
Clarke, E.
Clarke, Edmund Melson (Vollständiger Name)
Zeit Lebensdaten: 1945-
Land USA (XD-US)
Beruf(e) Informatiker
Weitere Angaben Professor für Informatik an der Carnegie Mellon University. - Ph.D. in Computer Science an der Cornell University, Ithaca NY, 1976
Typ Person (piz)
Autor von 1 Publikation
  1. Combining local and global model checking
    Biere, Armin. - Karlsruhe : Univ., Fak. für Informatik, [1998]
Beteiligt an 4 Publikationen
  1. Perspectives of system informatics
    Heidelberg : Springer, c 2012
  2. Logic for programming, artificial intelligence, and reasoning
    Berlin : Springer, 2010
  3. ...