𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press Third International Conference on Tools for Artificial Intelligence - TAI 91 - San Jose, CA, USA (10-13 Nov. 1991)] [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 - Preventing infinite looping in Prolog

✍ Scribed by Han, J.L.

Book ID: 126721761
Publisher: IEEE Comput. Soc. Press
Year: 1991
Weight: 235 KB
Category: Article
ISBN-13: 9780818623004
DOI: 10.1109/TAI.1991.167044

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press Third Internati

[IEEE Comput. Soc. Press Third International Conference on Tools for Artificial Intelligence - TAI 91 - San Jose, CA, USA (10-13 Nov. 1991)] [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 - The C++ embeddable rule system

✍ Miranker, D.P.; Burke, F.; Kolts, J.; Steele, J.J. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 725 KB

[IEEE Comput. Soc. Press Third Internati

[IEEE Comput. Soc. Press Third International Conference on Tools for Artificial Intelligence - TAI 91 - San Jose, CA, USA (10-13 Nov. 1991)] [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 - MANTRA: a shell for hybrid knowledge representation

✍ Calmet, J.; Tjandra, I.A.; Bittencourt, G. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 799 KB

[IEEE Comput. Soc. Press Third Internati

[IEEE Comput. Soc. Press Third International Conference on Tools for Artificial Intelligence - TAI 91 - San Jose, CA, USA (10-13 Nov. 1991)] [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 - Searching for a minimal finite state automaton (FSA)

✍ Puri, R.; Gu, J. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 683 KB

[IEEE Comput. Soc. Press Third Internati

[IEEE Comput. Soc. Press Third International Conference on Tools for Artificial Intelligence - TAI 91 - San Jose, CA, USA (10-13 Nov. 1991)] [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 - Dempster-Shafer reasoning for medical image recognition

✍ Wei-Chung Lin, ; Shiuh-Yung Chen, ; Chin-Tu Chen, 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 749 KB

[IEEE Comput. Soc. Press Third Internati

[IEEE Comput. Soc. Press Third International Conference on Tools for Artificial Intelligence - TAI 91 - San Jose, CA, USA (10-13 Nov. 1991)] [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 - Abstraction of formal specifications from program code

✍ Cheng, B.H.C.; Gannod, G.C. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 420 KB

[IEEE Comput. Soc. Press Third Internati

[IEEE Comput. Soc. Press Third International Conference on Tools for Artificial Intelligence - TAI 91 - San Jose, CA, USA (10-13 Nov. 1991)] [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 - Model management and the automation of computer system operations

✍ Finkel, A.J.; Calo, S.B.; Klein, D.A. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 224 KB