✦ LIBER ✦

Integrating Computer Algebra into Proof Planning

✍ Scribed by Manfred Kerber; Michael Kohlhase; Volker Sorge

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Integrating models into the planning pro

✍ T.H. Naylor 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 636 KB

Integrating economic costs into conserva

✍ Robin Naidoo; Andrew Balmford; Paul J. Ferraro; Stephen Polasky; Taylor H. Ricke 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 436 KB

Integrating Load Management into Utility

✍ Gellings, Clark W.; Forgey, Harry L. 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 229 KB

Integrating workers’ differences into wo

✍ Mohammed Othman; Nadia Bhuiyan; Gerard J. Gouw 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 716 KB

Integrating costs into conservation plan

✍ Joslin Moore; Andrew Balmford; Tom Allnutt; Neil Burgess 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 271 KB

Integrating strength-weakness analysis i

✍ William R. King 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 863 KB