✦ LIBER ✦

Logical conclusion for nanotubes

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 848 KB
Volume: 4
Category: Article
ISSN: 1369-7021
DOI: 10.1016/s1369-7021(01)80230-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design tools for DNA-nanotube logic

📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 57 KB

Utility, informed preference, or happine

Utility, informed preference, or happiness: Following Harsanyi's argument to its logical conclusion

✍ Yew-Kwang Ng 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 171 KB

The single-conclusion proof logic and in

The single-conclusion proof logic and inference rules specification

✍ Vladimir N. Krupski 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 187 KB

The logic of single-conclusion (functional) proofs (FLP) is introduced. It combines the veriÿcation property of proofs with the single valuedness of proof predicate and describes the operations on proofs induced by modus ponens rule and proof checking. It is proved that FLP is decidable, sound and c

Logic circuits based on carbon nanotubes

✍ A Bachtold; P Hadley; T Nakanishi; C Dekker 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 255 KB

Conclusion

✍ Jorge Costa e Silva 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 49 KB

Conclusion

📂 Article 📅 1999 🏛 John Wiley and Sons ⚖ 384 KB