Prolog-based Inductive Theorem Proving
Resource
Proceedings of the 5th Foundations of Software Technolong Theoretical Computer Science, p.129-149
Journal
5th Foundations of Software Technolong Theoretical Computer Science
Pages
129-149
Date Issued
1986-06
Author(s)
Type
conference paper