✦ LIBER ✦

Deductive Plan Formation in Higher-Order Logic J. S. Darlington

✍ Scribed by Paul R. Hudak

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The formation of higher order hierarchic

✍ J. Van Den Berk; S. F. Portegies Zwart; S. L. W. McMillan 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 724 KB