✦ LIBER ✦

Application of constraints to formal verification and artificial intelligence

✍ Scribed by Velev, Miroslav N.; Franco, John

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Artificial intelligence and formal model

✍ Philip A. Schrodt 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 968 KB

The application of artificial intelligen

✍ L.Stephen Coles 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 804 KB

An approach to formal specification and

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

An application of artificial intelligenc

✍ Elena Alessandri; Alessandro Gasparetto; Rafael Valencia Garcia; Rodrigo Martine 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 221 KB

Implicit enumeration of strongly connect

✍ Aiguo Xie; Beerel, P.A. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 157 KB

The application of artificial intelligen

✍ Keith Shaw 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 43 KB