scientific article; zbMATH DE number 3231608
From MaRDI portal
Publication:5519616
zbMath0143.40007MaRDI QIDQ5519616
No author found.
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Supporting the formal verification of mathematical texts ⋮ John McCarthy (1927--2011) ⋮ A superposition calculus for abductive reasoning ⋮ Non-resolution theorem proving ⋮ N. G. de Bruijn's contribution to the formalization of mathematics ⋮ Proof assistants: history, ideas and future ⋮ A man-machine theorem-proving system
This page was built for publication:
