𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Artificial intelligence — Techniques for search results in programming projects

✍ Scribed by M.G. Pereira

Book ID
107965947
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
194 KB
Volume
31
Category
Article
ISSN
0360-8352

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 3452 || The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
✍ Baader, Franz; Voronkov, Andrei 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 452 KB

This Book Constitutes The Refereed Proceedings Of The 11th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2004, Held In Montevideo, Uruguay In March 2005. The 33 Revised Full Papers Presented Together With Abstracts Of 4 Invited Papers Were Carefully

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 4246 || Theory Instantiation
✍ Hermann, Miki; Voronkov, Andrei 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 252 KB

This Book Constitutes The Refereed Proceedings Of The 13th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2006, Held In Phnom Penh, Cambodia In November 2006. The 38 Revised Full Papers Presented Together With One Invited Talk Were Carefully Reviewed