✦ LIBER ✦

On embedding functions in logic

✍ Scribed by P.A. Subrahmanyam; J.-H. You

Book ID: 113162738
Publisher: Elsevier Science
Year: 1984
Tongue: English
Weight: 461 KB
Volume: 19
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(84)90127-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Embedding Classical Logic in Intuitionis

Embedding Classical Logic in Intuitionistic Logic

✍ John Myhill 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

On embedding default logic into Moore's

On embedding default logic into Moore's autoepistemic logic

✍ Grigori Schwarz 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 770 KB

Towards a Design Flow for Reversible Log

Towards a Design Flow for Reversible Logic || Embedding of Irreversible Functions

✍ Wille, Robert; Drechsler, Rolf 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 Dutch ⚖ 395 KB

The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of smaller and more powerful circ

Defeasible Logic on an Embedded Microcon

Defeasible Logic on an Embedded Microcontroller

✍ Michael A. Covington 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 63 KB

Embedding revision programs in logic pro

Embedding revision programs in logic programming situation calculus

✍ Chitta Baral 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 827 KB

Embedding of posets into lattices in qua

Embedding of posets into lattices in quantum logic

✍ Claudio Garola 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 514 KB