✦ LIBER ✦

Proof assistants: History, ideas and future

✍ Scribed by H. Geuvers

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The FUTURE AND THE HISTORY OF IDEAS

✍ MARY ANNE PERKINS 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 921 KB

The Idea of History and the History of I

✍ Hamilton, Diane B. 📂 Article 📅 1993 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 513 KB

History of assisted reproduction: lesson

✍ Eduardo Pandolfi Passos 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 58 KB

UNCERTAINTY AND THE HISTORY OF IDEAS

✍ ADRIAN BLAU 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 833 KB

Sensory Experience and the Developing Or

✍ Philbin RN PhD, M Kathleen; Lickliter PhD, Robert; Graven, Stanley N 📂 Article 📅 2000 🏛 Nature Publishing Group 🌐 English ⚖ 71 KB

A History of Nursing Ideas

✍ Ann M. Mayo 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 41 KB