𝔖 Bobbio Scriptorium

✦ LIBER ✦

Logic Programs, Compatibility and Forward Chaining Construction

✍ Scribed by Yi-Song Wang; Ming-Yi Zhang; Jia-Huai You

Book ID: 106578044
Publisher: Springer
Year: 2009
Tongue: English
Weight: 344 KB
Volume: 24
Category: Article
ISSN: 1000-9000
DOI: 10.1007/s11390-009-9285-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Forward and Backward Chaining in Linear

Forward and Backward Chaining in Linear Logic (Extended Abstract)

✍ James A. Harland; David J. Pym; Michael Winikoff 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 158 KB

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science Volume 104 || Constructive Mathematics and Computer Programming

✍ , 📂 Article 📅 1982 🏛 Elsevier 🌐 English ⚖ 908 KB

Logic, Methodology and Philosophy of Science VI

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || On the use of the constructive omega-rule within automated deduction

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 856 KB

[IEEE 2011 International Conference on S

[IEEE 2011 International Conference on System Science, Engineering Design and Manufacturing Informatization (ICSEM) - Guiyang, China (2011.10.22-2011.10.23)] 2011 International Conference on System science, Engineering design and Manufacturing informatization - A mathematical programming model in Green Construction Supply Chain Management

✍ Wang Qiuliang, ; Kang Haigui, ; Chen Dong, ; Zhou Pengfei, 📂 Article 📅 2011 🏛 IEEE ⚖ 369 KB