✦ LIBER ✦

Proving Theorems about LISP Functions

✍ Scribed by Boyer, Robert S.; Moore, J. Strother

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

✍ Boyer, Robert S.; Moore, J. Strother 📂 Article 📅 1975 🏛 Association for Computing Machinery 🌐 English ⚖ 838 KB

A Theorem about Primes Proved on a Chess

✍ L. C. Larson 📂 Article 📅 1977 🏛 Mathematical Association of America 🌐 English ⚖ 633 KB

Diagrammatic Representation of Interval

✍ Zenon Kulpa 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 165 KB

Transcendental functions and mechanical

✍ Xiaoshan Gao 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 635 KB

Freak Theorem About Functions on a Spher

✍ Ungar, P. 📂 Article 📅 1954 🏛 Oxford University Press 🌐 English ⚖ 105 KB

A Theorem About Successive Derivatives o

✍ Littlewood, J. E. 📂 Article 📅 1967 🏛 Oxford University Press 🌐 English ⚖ 254 KB