𝔖 Bobbio Scriptorium

✦ LIBER ✦

Logic Program Synthesis as Problem Reduction Using Combining Forms

✍ Scribed by Andreas Hamfelt; Jørgen Fischer Nilsson; Nikolaj Oldager

Book ID: 110267062
Publisher: Springer US
Year: 2001
Tongue: English
Weight: 104 KB
Volume: 8
Category: Article
ISSN: 0928-8910
DOI: 10.1023/a:1008741507024

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

ChemInform Abstract: Synthesis of Metall

ChemInform Abstract: Synthesis of Metallic Nanoparticles Using Electrogenerated Reduced Forms of [α-SiW12O40]4- as Both Reductants and Stabilizing Agents.

✍ Jie Zhang; Boon Ping Ting; Yan Tong Koh; Jackie Y. Ying 📂 Article 📅 2011 🏛 John Wiley and Sons ⚖ 20 KB 👁 2 views

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB