Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
DFKI Dieter Hutter
[go: Go Back, main page]

Dieter Hutter

DFKI

Dr. Dieter Hutter
Principal Researcher

DFKI GmbH
Deduction and Multi-Agent-Systems
Stuhlsatzenhausweg 3
D-66123 Saarbrücken
Germany

Tel: +49 681 302 5317
Fax: +49 681 302 2235

email: hutter@dfki.de
 		D. Hutter's Portrait

Dieter Hutter has been engaged in inductive theorem proving, deductive support for formal methods, and reuse of proofs and specifications. More informations can be found on my homepage.


Letze Änderung: 1.10.1999 DFKI Home