𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Theorem-Proving on the Computer

✍ Scribed by Robinson, J. A.

Book ID
111890378
Publisher
Association for Computing Machinery
Year
1963
Tongue
English
Weight
688 KB
Volume
10
Category
Article
ISSN
0004-5411

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On Automated Theorem Proving
On Automated Theorem Proving
✍ STEPHEN RUSSELL; TRACI WHEELER UNISYS πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 776 KB
Theorem Proving Modulo
Theorem Proving Modulo
✍ Gilles Dowek; ThΓ©rΓ¨se Hardin; Claude Kirchner πŸ“‚ Article πŸ“… 2003 πŸ› Springer Netherlands 🌐 English βš– 238 KB