Holger Pfeifer und Universität Ulm - Info zur Person

(1 - 7 von 7

)

Dr. Holger Pfeifer - Universität Ulm

www.uni-ulm.de

· Dr. Holger Pfeifer hat die Universität Ulm verlassen. Diese Seite wird nicht mehr gepflegt. Diese Seite wird daher nicht mehr gepflegt. Kontaktinformationen finden sich auf meiner neuen Homepage.

Dr. Holger Pfeifer - Universität Ulm

www.uni-ulm.de

At the Institute for Artificial Intelligence, I most recently held a position as Wissenschaftlicher Assistent (German for Scientific Assistant ), and my field of research and teaching was formal modelling and verification. I am interested in applying formal methods, in particular techniques of mechanical theorem proving and model checking, to ...

Gunter Geigemüller

Person "Pfeifer" (26)
Vorname "Holger" (27292)
Name "Pfeifer" (2605)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Holger Pfeifer und Universität Ulm Person-Info

Dr. Holger Pfeifer - Universität Ulm

Dr. Holger Pfeifer - Universität Ulm

PvH07 - Universität Ulm

BMP08 - Universität Ulm

Deconvolution of the density of states of tip and sample through...

Publikationen - Universität Ulm

PvH07 - Universität Ulm

Alle Infos zum Namen "Holger Pfeifer"