Misplaced Pages

Stephan Schulz: Difference between revisions

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 19:35, 15 September 2008 editJosefUrban (talk | contribs)44 editsNo edit summary← Previous edit Revision as of 23:18, 15 September 2008 edit undoStar Mississippi (talk | contribs)Autopatrolled, Administrators70,444 edits there's enough here to avoid a speedy - suggest AfD or PRODNext edit →
Line 1: Line 1:
{{db-bio}}
{{hangon}}
{{Infobox_Scientist {{Infobox_Scientist
| name = Stephan Schulz | name = Stephan Schulz

Revision as of 23:18, 15 September 2008

Stephan Schulz
File:StephanSchulz.jpgStephan Schulz
NationalityGerman
Known forE equational theorem prover
Scientific career
FieldsComputer 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.

External links

Stephan Schulz: Difference between revisions Add topic