Results 241 to 250 of about 3,597,563 (258)
Some of the next articles are maybe not open access.
Molecules with a sense of logic: a progress report
Chemical Society Reviews, 2015Joakim Andréasson, Uwe Pischel
exaly
Uniform Interpolation by Resolution in Modal Logic
European Conference on Logics in Artificial Intelligence, 2008A. Herzig, J. Mengin
semanticscholar +1 more source
A Resolution Theorem Prover for Intuitonistic Logic
CADE, 1996T. Tammet
semanticscholar +1 more source
A resolution-like strategy based on a lattice-valued logic
IEEE transactions on fuzzy systems, 2003Jun Liu, D. Ruan, Yang Xu, Zhenming Song
semanticscholar +1 more source
Enzyme-based logic systems for information processing
Chemical Society Reviews, 2010Evgeny Katz, Vladimir Privman
exaly
Resolution calculus for the first order linear logic
Journal of Logic, Language and Information, 1993G. Mints
semanticscholar +1 more source
Quantitative and logic modelling of molecular and gene networks
Nature Reviews Genetics, 2015Nicolas Le Novère
exaly
Smart molecules at work—mimicking advanced logic operations
Chemical Society Reviews, 2010Joakim Andréasson, Uwe Pischel
exaly

