𝔖 Bobbio Scriptorium

✦ LIBER ✦

Automated theorem provers: a practical tool for the working mathematician?

✍ Scribed by Alan Bundy

Book ID: 106343207
Publisher: Springer Netherlands
Year: 2011
Tongue: English
Weight: 269 KB
Volume: 61
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-011-9248-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Popper's philosophy of science: a practi

Popper's philosophy of science: a practical tool for the working biologist

✍ Jonathan Bard 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 27 KB 👁 3 views

Automated tools for information systems

Automated tools for information systems design : H.J. Scheneider and A.I. Wasserman (Editors) Proceedings of the IFIP WG 8.1 Working Conf. New Orleans, USA, 26–28 Jan, 1982. North-Holland Publishing Company, Amsterdam 1982, 262 pages, Dfl. 85.00, US $39.50, ISBN 0-444-86338-9

📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 114 KB