Mark Tarver Vis

*	1997
3	EE	Raul H. C. Lopes, Mark Tarver: Inducing Theorem Provers from Proofs. ICTAI 1997: 157-164
	1993
2		Mark Tarver: A Language for Implementing Arbitrary Logics. IJCAI 1993: 839-844
	1990
1	EE	Mark Tarver: An Examination of the Prolog Technology Theorem-Prover. CADE 1990: 322-335

Coauthor Index

1

Raul H. C. Lopes

[3]