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



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/128838213
Person Dershowitz, Nachum
Quelle LoC-NA
Internet: http://en.wikipedia.org/wiki/Nachum_Dershowitz
Zeit Lebensdaten: 1951-
Land Israel (XB-IL)
Beruf(e) Informatiker
Weitere Angaben Israelischer Informatiker, Ph.D. in Angewandter Mathematik, Weizmann Inst., 1979, seit 1998 Prof. School of Computer Science, Univ. of Tel Aviv
Beziehungen zu Organisationen Universiṭat Tel Aviv (Professor) (1998-)
University of Illinois at Urbana-Champaign. Department of Computer Science (1978-1998)
Typ Person (piz)
Autor von 2 Publikationen
  1. A General Framework for Automatic Termination Analysis of Logic Programs
    Enthalten in Applicable algebra in engineering, communication and computing Bd. 12, Nr. 1-2, date:06.2001: 117-156
  2. The evolution of programs
    Dershowitz, Nachum. - Boston : Birkhäuser, 1983
Beteiligt an 5 Publikationen
  1. Logic for programming, artificial intelligence, and reasoning
    Berlin : Springer, 2007
  2. Verification
    Berlin : Springer, 2003
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration