✦ LIBER ✦

Computational Logic

✍ Scribed by Nathan P. Levin

Book ID: 124940280
Publisher: Association for Symbolic Logic
Year: 1949
Tongue: English
Weight: 439 KB
Volume: 14
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2267045

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantum Computational Logic

✍ S. Gudder 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 52 KB

A computational logic

✍ Robert S. Boyer, J.Strother Moore 📂 Library 📅 1979 🏛 Academic Press 🌐 English ⚖ 2 MB

Computational logic-based agents

✍ Francesca Toni; Jamal Bentahar 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 80 KB

Computational Logic on Fock Space

✍ S. Gudder 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 99 KB

Computational verb systems: Verb logic

✍ Tao Yang 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 215 KB

Computational verb systems are new platforms for artificial intelligence. They embed the dynamical knowledge expressed by dynamical experiences of human brains into machines by using pattern thinking. In this paper, the relationship defined by verbs in human Ž . natural languages is modeled by compu

An Extension of Computational Logic

✍ Alan Rose 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 289 KB