✦ LIBER ✦

Discovering applications of higher order functions through proof planning

✍ Scribed by A. Cook; A. Ireland; G. Michaelson; N. Scaife

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Calculus of higher order modulus of smoo

✍ S. G. Gal 📂 Article 📅 1991 🏛 Springer Milan 🌐 English ⚖ 245 KB

Distinguishing properties and applicatio

✍ Duan, Ming; Yang, Mohan; Sun, Xiaorui; Zhu, Bo; Lai, Xuejia 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 533 KB

Application of higher-order vector basis

✍ Aberegg, Keith R.; Taguchi, Atsuo; Peterson, Andrew F. 📂 Article 📅 1996 🏛 American Geophysical Union 🌐 English ⚖ 531 KB

Vario functions of higher order — defini

✍ Ute Christina Herzfeld 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 595 KB

Application of the confined rotator mode

✍ Pasterny, Karol; Kocot, Antoni 📂 Article 📅 1986 🏛 The Royal Society of Chemistry ⚖ 564 KB

Characteristics of cross (bypass) coupli

✍ Amari, S.; Rosenberg, U. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 677 KB