𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Specialization of Programs by Theorem Proving

✍ Scribed by Chang, C. L.; Lee, R. C. T.; Dixon, J. K.

Book ID
118145720
Publisher
Society for Industrial and Applied Mathematics
Year
1973
Tongue
English
Weight
683 KB
Volume
2
Category
Article
ISSN
0097-5397

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Special Issue on Advances in First-order
Special Issue on Advances in First-order Theorem Proving Foreword of the Guest Editors
πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 73 KB

The role of first-order theorem proving as a core theme of automated deduction has been recognized since the beginning of the field, at the dawn of artificial intelligence, more than 40 years ago. Although many other logics have been developed and used in AI, deduction systems based on first-order t

The role of theorem proving in systems b
The role of theorem proving in systems biology
✍ Olaf Wolkenhauer; Darryl Shibata; Mihajlo D. MesaroviΔ‡ πŸ“‚ Article πŸ“… 2012 πŸ› Elsevier Science 🌐 English βš– 150 KB