𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press ICCI `92: Fourth International Conference on Computing and Information - Toronto, Ont., Canada (28-30 May 1992)] Proceedings ICCI `92: Fourth International Conference on Computing and Information - A self-guided theorem proving system

✍ Scribed by Shie-Jue Lee,

Book ID: 126763695
Publisher: IEEE Comput. Soc. Press
Year: 1992
Weight: 452 KB
Category: Article
ISBN-13: 9780818628122
DOI: 10.1109/ICCI.1992.227643

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press ICCI `92: Fourt

[IEEE Comput. Soc. Press ICCI `92: Fourth International Conference on Computing and Information - Toronto, Ont., Canada (28-30 May 1992)] Proceedings ICCI `92: Fourth International Conference on Computing and Information - Multiagent planning using a reason maintenance system

✍ Tadepalli, K.; Parameswaran, N. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press ⚖ 409 KB

[IEEE Comput. Soc. Press ICCI `92: Fourt

[IEEE Comput. Soc. Press ICCI `92: Fourth International Conference on Computing and Information - Toronto, Ont., Canada (28-30 May 1992)] Proceedings ICCI `92: Fourth International Conference on Computing and Information - Visual database interface for end user computing

✍ Siau, K.L.; Tan, K.P.; Chan, H.C. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press ⚖ 336 KB

[IEEE Comput. Soc. Press ICCI `92: Fourt

[IEEE Comput. Soc. Press ICCI `92: Fourth International Conference on Computing and Information - Toronto, Ont., Canada (28-30 May 1992)] Proceedings ICCI `92: Fourth International Conference on Computing and Information - Minimum time message transmission in networks

✍ Guo-Liang Xue, ; Shang-Zhi Sun, ; Ben Rosen, J. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press ⚖ 394 KB

[IEEE Comput. Soc. Press ICCI `92: Fourt

[IEEE Comput. Soc. Press ICCI `92: Fourth International Conference on Computing and Information - Toronto, Ont., Canada (28-30 May 1992)] Proceedings ICCI `92: Fourth International Conference on Computing and Information - Inheritance and specificity. II. Reference class selection

✍ Goodwin, S.D. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press ⚖ 337 KB

[IEEE Comput. Soc. Press ICCI `92: Fourt

[IEEE Comput. Soc. Press ICCI `92: Fourth International Conference on Computing and Information - Toronto, Ont., Canada (28-30 May 1992)] Proceedings ICCI `92: Fourth International Conference on Computing and Information - Knowledge elicitation and integration from multiple experts

✍ Gwo-Jen Hwang, 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press ⚖ 350 KB

[IEEE Comput. Soc. Press ICCI `92: Fourt

[IEEE Comput. Soc. Press ICCI `92: Fourth International Conference on Computing and Information - Toronto, Ont., Canada (28-30 May 1992)] Proceedings ICCI `92: Fourth International Conference on Computing and Information - Counting and generating integer partitions in parallel

✍ Sanchis, L.A. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press ⚖ 406 KB