scientific article

zbMath0656.68103MaRDI QIDQ3804236

Larry Wos, William W. McCune

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

equational theorycombinatorstheorem-proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Evolving combinators

This page was built for publication: