# 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).

##### MSC:
 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