Results 291 to 300 of about 2,869,949 (320)

Probabilistic reasoning in a classical logic

Journal of Applied Logic, 2009
K. S. Ng, J. Lloyd
semanticscholar   +1 more source

An introduction to non-classical logic

, 2008
G. Priest
semanticscholar   +1 more source

Encoding Two-Valued Nonclassical Logics in Classical Logic

2001
Gabbay, D, Ohlbach, H, Nonnengart, A, de Rijke, M   +3 more
openaire   +2 more sources

Vertically stacked multi-heterostructures of layered materials for logic transistors and complementary inverters

Nature Materials, 2012
Hailong Zhou, Yu Huang, Xiangfeng Duan
exaly  

Classical Logic

2012
openaire   +1 more source

alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic

International Conference on Logic Programming, 2008
Joseph P. Near, William E. Byrd, Daniel P. Friedman   +2 more
semanticscholar   +1 more source

Logic Circuits with Carbon Nanotube Transistors

Science, 2001
Adrian Bachtold, Peter Hadley, Takeshi Nakanishi   +2 more
exaly  

Enzyme-Free Nucleic Acid Logic Circuits

Science, 2006
Georg Seelig, David Soloveichik, David Yu Zhang   +2 more
exaly  

Classical logic

2014
openaire   +1 more source

Logic Gates and Computation from Assembled Nanowire Building Blocks

Science, 2001
Xiangfeng Duan, , Lincoln J Lauhon
exaly