Mark Tarver

According to our database¹, Mark Tarver authored at least 3 papers between 1990 and 1997.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1997

Inducing Theorem Provers from Proofs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

1993

A Language for Implementing Arbitrary Logics.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1990

An Examination of the Prolog Technology Theorem-Prover.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Automated Deduction, 1990