| Revision as of 01:21, 16 September 2008 editSebwite (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers13,543 edits prod← Previous edit | Revision as of 01:48, 16 September 2008 edit undoStar Mississippi (talk | contribs)Autopatrolled, Administrators70,260 edits expand and source -- will leave PROD for those with more knowledge -- see note on talk re: non-engNext edit → | ||
| Line 12: | Line 12: | ||
| }} | }} | ||
| '''Stephan Schulz''' is a ] ] working in the field of ]. He is best known for the development of the high performance ]. In 2002, Schulz was recognized for the best paper by ]<ref name="f2002">{{cite journal|date=2002-12|title=Flairs 2002 Conference Report|journal=AI Magazine|url=http://www.accessmylibrary.com/coms2/summary_0286-27024342_ITM}}</ref> and has been published in his field.<ref>{{cite web|url=http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schulz:Stephan.html|title=DBLP Bibliography |publisher=Universitat Trier|accessdate=2008-09-16}}</ref> | |||
| '''Stephan Schulz''' is a ] ] working in the field of | |||
| ]. | |||
| ==References== | |||
| He is best known for the development of the high performance ]. | |||
| {{reflist}} | |||
| ==External links== | ==External links== | ||
Revision as of 01:48, 16 September 2008
| This article may have been previously nominated for deletion: Misplaced Pages:Articles for deletion/Stephan Schulz exists. It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. This message has remained in place for seven days, so the article may be deleted without further notice. Find sources: "Stephan Schulz" – news · newspapers · books · scholar · JSTORPRODExpired+%5B%5BWP%3APROD%7CPROD%5D%5D%2C+concern+was%3A+%5B%5BWP%3ABLP%7CBiography+of+a+living+person%5D%5D+with+no+%5B%5BWP%3ARS%7Creliable+sources%5D%5D+to+establish+%5B%5BWP%3AN%7Cnotability%5D%5DExpired ], concern was: Biography of a living person with no reliable sources to establish notability Nominator: Please consider notifying the author/project: {{subst:proposed deletion notify|Stephan Schulz|concern=] with no ] to establish ]}} ~~~~Timestamp: 20080916012131 01:21, 16 September 2008 (UTC) Administrators: delete |
| 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.