This is an old revision of this page, as edited by Star Mississippi (talk | contribs) at 23:18, 15 September 2008 (there's enough here to avoid a speedy - suggest AfD or PROD). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Revision as of 23:18, 15 September 2008 by Star Mississippi (talk | contribs) (there's enough here to avoid a speedy - suggest AfD or PROD)(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.