Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Richard M.
Last name:	Harris
DBLP:	37/1785
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 1 of 1  

Select a publication
Show	Title	Venue	Rating	Date
	David Cyrluk, Richard M. Harris, Deepak Kapur. GEOMETER: A Theorem Prover for Algebraic Geometry.	9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings 1988	(0)	1988

Your query returned 1 matches in the database.