𝔖 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 - Abstraction of formal specifications from program code

✍ Scribed by Cheng, B.H.C.; Gannod, G.C.

Book ID: 111923465
Publisher: IEEE Comput. Soc. Press
Year: 1991
Tongue: English
Weight: 420 KB
Volume: 0
Category: Article
ISBN-13: 9780818623004
DOI: 10.1109/tai.1991.167086

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 Fourth Internat

[IEEE Comput. Soc. Press Fourth International Conference on Tools with Artificial Intelligence TAI '92 - Arlington, VA, USA (10-13 Nov. 1992)] Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92 - Genetic algorithms as a tool for feature selection in machine learning

✍ Vafaie, H.; De Jong, K. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press ⚖ 456 KB