dblp.uni-trier.dewww.uni-trier.de

Mark Tarver Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
3EERaul 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
1EEMark Tarver: An Examination of the Prolog Technology Theorem-Prover. CADE 1990: 322-335

Coauthor Index

1Raul H. C. Lopes [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)