✦ LIBER ✦

A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving

✍ Scribed by Harvey J. Greenberg

Book ID: 110379759
Publisher: Springer Netherlands
Year: 2000
Tongue: English
Weight: 24 KB
Volume: 28
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1018935718357

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A discrete mathematical model for solvin

A discrete mathematical model for solving a handshaking problem and proving its correctness

✍ Diane M. Spresser 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 272 KB

[IEEE 2012 11th Mexican International Co

[IEEE 2012 11th Mexican International Conference on Artificial Intelligence (MICAI) - San Luis Potos , Mexico (2012.10.27-2012.11.4)] 2012 11th Mexican International Conference on Artificial Intelligence - Combining Tabu Search and Genetic Algorithm in a Multi-agent System for Solving Flexible Job Shop Problem

✍ Azzouz, Ameni; Ennigrou, Meriem; Jlifi, Boutheina; Ghedira, Khaled 📂 Article 📅 2012 🏛 IEEE ⚖ 187 KB

[Advances in Intelligent and Soft Comput

[Advances in Intelligent and Soft Computing] Proceedings of the International Conference on Soft Computing for Problem Solving (SocProS 2011) December 20-22, 2011 Volume 130 || Dynamic Tasks Scheduling Model for Performance Evaluation of a Distributed Computing System through Artificial Neural Network

✍ Deep, Kusum; Nagar, Atulya; Pant, Millie; Bansal, Jagdish Chand 📂 Article 📅 2012 🏛 Springer India 🌐 English ⚖ 441 KB

The objective is to provide the latest developments in the area of soft computing. These are the cutting edge technologies that have immense application in various fields. All the papers will undergo the peer review process to maintain the quality of work.