Misplaced Pages

Stephan Schulz: Difference between revisions

Article snapshot taken from Wikipedia 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 01:48, 16 September 2008 editStar Mississippi (talk | contribs)Autopatrolled, Administrators70,261 edits expand and source -- will leave PROD for those with more knowledge -- see note on talk re: non-eng← Previous edit Revision as of 01:57, 16 September 2008 edit undoSebwite (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers13,543 edits remove prod - references have been addedNext edit →
Line 1: Line 1:
{{dated prod|concern = ] with no ] to establish ]|month = September|day = 16|year = 2008|time = 01:21|timestamp = 20080916012131}}
<!-- Do not use the "dated prod" template directly; the above line is generated by "subst:prod|reason" -->
{{Infobox_Scientist {{Infobox_Scientist
| name = Stephan Schulz | name = Stephan Schulz

Revision as of 01:57, 16 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. In 2002, Schulz was recognized for the best paper by FLAIRS and has been published in his field.

References

  1. "Flairs 2002 Conference Report". AI Magazine. 2002-12. {{cite journal}}: Check date values in: |date= (help)
  2. "DBLP Bibliography". Universitat Trier. Retrieved 2008-09-16.

External links