Stickel, Mark E.
Stickel, M. E. (Mark E.), 1947-
Stickel, M. E.
Stickel, M. E. 1947-
Mark E. Stickel informaticien américain
Stickel, Mark E. (1947- ).
VIAF ID: 27715486 (Personal)
Permalink: http://viaf.org/viaf/27715486
Preferred Forms
- 100 0 _ ‡a Mark E. Stickel ‡c informaticien américain
-
- 100 1 _ ‡a Stickel, M. E. ‡d 1947-
-
-
- 100 1 0 ‡a Stickel, M. E. ‡q (Mark E.), ‡d 1947-
-
-
- 100 1 _ ‡a Stickel, Mark E.
- 100 1 _ ‡a Stickel, Mark E.
-
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Automated deduction : logic programming and parallel computing approaches : proceedings | |
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune | |
CADE-10 | |
International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany). Proceedings, 1990, 1990: | |
Mechanical theorem proving and artificial intelligence languages | |
Research on interactive acquisition and use of knowledge : interim report for the period July 1981-January 1982 |