scientific article; zbMATH DE number 3254476

MaRDI QIDQ5540898zbMATH OpenFDO

Authors Herbert Gelernter

Publication date 1963

zbMATH Keywords

numerical analysis

Cited in

(3)

• A review and prospect of readable machine proofs for geometry theorems
• An examination of the geometry theorem machine
• Mark Stickel: his earliest work

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5540898)