𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 698 || Prolog with arrays and bounded quantifications

✍ Scribed by Voronkov, Andrei

Book ID
121718961
Publisher
Springer Berlin Heidelberg
Year
1993
Weight
688 KB
Category
Article
ISBN
3540478302

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || Infinite, canonical string rewriting systems generated by completion
✍ Voronkov, Andrei πŸ“‚ Article πŸ“… 1992 πŸ› Springer-Verlag 🌐 German βš– 825 KB

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving co

[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