scientific article
From MaRDI portal
Publication:3336737
zbMath0546.68078MaRDI QIDQ3336737
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Automated deduction with associative-commutative operators, An overview of LP, the Larch Prover, Consider only general superpositions in completion procedures, Distributing equational theorem proving, Computers and universal algebra: Some directions, Using hints to increase the effectiveness of an automated reasoning program: Case studies, Unnecessary inferences in associative-commutative completion procedures, Automated proof of ring commutativity problems by algebraic methods, Automated proofs of the Moufang identities in alternative rings, Automated proofs of equality problems in Overbeek's competition, Deductive and inductive synthesis of equational programs
