This is an old revision of this page, as edited by Sebwite (talk | contribs) at 01:57, 16 September 2008 (remove prod - references have been added). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Revision as of 01:57, 16 September 2008 by Sebwite (talk | contribs) (remove prod - references have been added)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)| Stephan Schulz | |
|---|---|
| File:StephanSchulz.jpgStephan Schulz | |
| Nationality | German |
| Known for | E equational theorem prover |
| Scientific career | |
| Fields | Computer Technology |
Stephan Schulz is a German computer scientist working in the field of automated reasoning. He is best known for the development of the high performance E equational theorem prover. In 2002, Schulz was recognized for the best paper by FLAIRS and has been published in his field.
References
- "Flairs 2002 Conference Report". AI Magazine. 2002-12.
{{cite journal}}: Check date values in:|date=(help) - "DBLP Bibliography". Universitat Trier. Retrieved 2008-09-16.