✦ LIBER ✦

A knowledge assimilation method for logic databases

✍ Scribed by Taizo Miyachi; Susumu Kunifuji; Hajime Kitakami; Koichi Furukawa; Akikazu Takeuchi; Haruo Yokota

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Framework for Method-Specific Knowledg

✍ J.William Murdock; Ashok K. Goel; Michael J. Donahoo; Shamkant Navathe 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 119 KB

A Temporal Logic for Supporting Historic

✍ Shichao Zhang 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 149 KB

A logic assistant for the database searc

✍ M.H. Heine 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 823 KB

A logical design tool for relational dat

✍ Mehdi Owrang O, M.; Gunaratna, W.G. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 559 KB

A Safe Relational Calculus for Functiona

✍ Jesús M. Almendros-Jiménez; Antonio Becerra-Terón 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 424 KB

Logic-axiomatical method of knowledge re

✍ A.V. Timopheev; T.M. Kossovskaya 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 277 KB