scientific article; zbMATH DE number 3231608

MaRDI QIDQ5519616zbMATH OpenFDO

Authors

Publication date 1962

zbMATH Keywords

numerical analysis

Cited in

(8)

• Proof assistants: history, ideas and future
• Non-resolution theorem proving
• A man-machine theorem-proving system
• John McCarthy (1927--2011)
• A superposition calculus for abductive reasoning
• A theorem prover for a computational logic
• N. G. de Bruijn's contribution to the formalization of mathematics
• Supporting the formal verification of mathematical texts

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 Q5519616)