✦ LIBER ✦

Analogical program derivation based on type theory

✍ Scribed by Jianguo Lu; Jiafu Xu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Program derivation in type theory: A par

✍ Kent Petersson; Jan M. Smith 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 594 KB

Derivation of Feynman's path integral th

✍ M.S. Wang 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 198 KB

Hamiltonian system for orthotropic plate

✍ Weian Yao; Bin Su; Wanxie Zhong 📂 Article 📅 2001 🏛 SP Science China Press 🌐 English ⚖ 375 KB

Novel catecholate-type siderophore analo

✍ Matthias Schnabelrauch; Daniel Ayuk Mbi Egbe; Lothar Heinisch; Rolf Reissbrodt; 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 312 KB

Power transformer top-oil temperature mo

✍ Chen Weigen; Pan Chong; Yun Yuxin 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 186 KB

Mathematical Logic As Based On The Theor

✍ Russell, Bertrand 📂 Fiction 📅 0 🌐 English ⚖ 2 MB