✦ LIBER ✦

Partial Functions in ACL2

✍ Scribed by Panagiotis Manolios; J Strother Moore

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial ACL injuries

✍ Ejnar Eriksson 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 62 KB

Nonstandard Analysis in ACL2

✍ Ruben A. Gamboa; Matt Kaufmann 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 168 KB

Popliteus function in ACL-deficient pati

✍ M. J. Weresh; R. H. Gabel; R. A. Brand; D. S. Tearse 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 646 KB

Paper 123: Bundle Augmentation in Chroni

✍ El Jani, Haythem; Christel, Pascal 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 44 KB

A new device to detect ACL complete and

📂 Article 📅 2011 🏛 Elsevier 🌐 French ⚖ 52 KB

Integration over the levels of ACL-funct

✍ B. P. Kufarev; N. G. Nikulina 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 100 KB