zbMATH — the first resource for mathematics

ICF: A way of doing proofs with a machine. (English) Zbl 0423.68049
Mathematical foundations of computer science, Proc. 8th Symp., Olomouc/Czech. 1979, Lect. Notes Comput. Sci. 74, 146-159 (1979).

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B40 Combinatory logic and lambda calculus
68Q65 Abstract data types; algebraic specification
03B35 Mechanization of proofs and logical operations