scientific article; zbMATH DE number 3254476
From MaRDI portal
Publication:5540898
zbMath0158.16208MaRDI QIDQ5540898
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Mark Stickel: his earliest work ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ An examination of the geometry theorem machine
This page was built for publication:
