Finite approach to the problem of optimizing theorem-proving algorithms
From MaRDI portal
Publication:1255329
DOI10.1007/BF01091744zbMath0401.68075MaRDI QIDQ1255329
Publication date: 1978
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Algorithms in computer science (68W99)
Related Items (1)
Cites Work
This page was built for publication: Finite approach to the problem of optimizing theorem-proving algorithms
