Publication:3750137
From MaRDI portal
zbMath0609.68060MaRDI QIDQ3750137
William W. McCune, Ralph M. Butler, Ross A. Overbeek, Ewing L. Lusk
Publication date: 1986
compaction; multiprocessing; database indexing; clause compilation; implementation of high-performance automated theorem proving systems; Sam's Lemma
68-04: Software, source code, etc. for problems pertaining to computer science
Related Items
Experiments with discrimination-tree indexing and path indexing for term retrieval, A Prolog technology theorem prover: Implementation by an extended Prolog compiler