✦ LIBER ✦

Computer Programming and Logical Reasoning

✍ Scribed by Lars C. Jansson; Harvey D. Williams; Robert J. Collens

Book ID: 114978229
Publisher: School Science and Mathematics Association
Year: 1987
Tongue: English
Weight: 320 KB
Volume: 87
Category: Article
ISSN: 0036-6803
DOI: 10.1111/j.1949-8594.1987.tb11722.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Program Synthesis and Transformation — Meta-Programming in Logic Volume 883 || Introspective metatheoretic reasoning

✍ Fribourg, Laurent; Turini, Franco 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 829 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Volume 6565 || Argumentation and Answer Set Programming

✍ Balduccini, Marcello; Son, Tran Cao 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 255 KB

[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

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 6397 || Focused Natural Deduction

✍ Fermüller, Christian G.; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 224 KB

The logical basis for computer programmi

The logical basis for computer programming. Volume 1: Deductive reasoning : by Zohar Manna and Richard Waldinger. Addison-Wesley, Reading, MA, 1985, 618 pages.

✍ C. Morgan 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 233 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 6355 || A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing

✍ Clarke, Edmund M.; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 385 KB