✦ LIBER ✦

A logic assistant for the database searcher

✍ Scribed by M.H. Heine

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A knowledge assimilation method for logi

✍ Taizo Miyachi; Susumu Kunifuji; Hajime Kitakami; Koichi Furukawa; Akikazu Takeuc 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 845 KB

A Temporal Logic for Supporting Historic

✍ Shichao Zhang 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 149 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

A logic-based mechanism for integrity ma

✍ Sivand Lakmazaheri 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 945 KB

A Phase-Contrast Searcher for the Burch

✍ KING, R. J. 📂 Article 📅 1954 🏛 Nature Publishing Group 🌐 English ⚖ 243 KB