scientific article; zbMATH DE number 1104445
From MaRDI portal
Publication:4370349
zbMath0899.03012MaRDI QIDQ4370349
Publication date: 10 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
theorem provinglambda-calculusLK proof discovery systemproof discovery by analogyschema-guided problem solvingunification-based proof discovery procedure
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication: