PROLOG-Based Inductive Theorem Proving.

Journal

Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings

Pages

129-149

Date Issued

1985

Author(s)

Hsiang, Jieh

Srivas, Mandayam K.

DOI

URI

URL

Type

conference paper