𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 1325 || Program synthesis from examples by theory formation

✍ Scribed by Raś, Zbigniew W.; Skowron, Andrzej

Book ID
111681224
Publisher
Springer Berlin Heidelberg
Year
1997
Weight
800 KB
Category
Article
ISBN
3540696121

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 5722 || On Computational Creativity, ‘Inventing’ Theorem Proofs
✍ Rauch, Jan; Raś, Zbigniew W.; Berka, Petr; Elomaa, Tapio 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 181 KB

This Book Constitutes The Refereed Proceedings Of The 18th International Symposium On Methodologies For Intelligent Systems, Ismis 2009, Held In Prague, Czech Republic, In September 2009. The 60 Revised Papers Presented Together With 4 Plenary Talks Were Carefully Reviewed And Selected From Over 111

[Lecture Notes in Computer Science] Secu
[Lecture Notes in Computer Science] Security and Intelligent Information Systems Volume 7053 || Landau Theory of Meta-learning
✍ Bouvry, Pascal; Kłopotek, Mieczysław A.; Leprévost, Franck; Marciniak, Małgorzat 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 209 KB

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Meeting of the 2nd Luxembourg-Polish Symposium on Security and Trust and the 19th International Conference Intelligent Information Systems, held as International Joint Confererence on Security and Intelligent Info

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || Automatic Deductive Synthesis of Lisp Programs in the System ALISA
✍ Fisher, Michael; Hoek, Wiebe; Konev, Boris; Lisitsa, Alexei 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 277 KB

This Book Constitutes The Refereed Proceedings Of The 10th European Conference On Logics In Artificial Intelligence, Jelia 2006. The 34 Revised Full Papers And 12 Revised Tool Description Papers Presented Together With 3 Invited Talks Were Carefully Reviewed And Selected From 96 Submissions. The Pap