Results 321 to 330 of about 1,320,893 (348)

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form

European Conference on Logics in Artificial Intelligence, 2014
Saïd Jabbour, Joao Marques-Silva, L. Sais, Y. Salhi   +3 more
semanticscholar   +1 more source

Database-independent molecular formula annotation using Gibbs sampling through ZODIAC

Nature Machine Intelligence, 2020
Marcus Ludwig, Louis-Felix Nothias, Kai Dührkop   +2 more
exaly  

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

Journal of automated reasoning, 2013
Mauro Ferrari, Camillo Fiorentini, G. Fiorino   +2 more
semanticscholar   +1 more source

Actuality in Propositional Modal Logic

Studia Logica: An International Journal for Symbolic Logic, 2013
A. Hazen, Benjamin G. Rin, K. Wehmeier
semanticscholar   +1 more source

Spinels: Controlled Preparation, Oxygen Reduction/Evolution Reaction Application, and Beyond

Chemical Reviews, 2017
Qing Zhao, Zhenhua Yan, Chengcheng Chen
exaly  

The diagrams of formulas of the intuitionistic propositional calculus

Studia Logica, 1973
openaire   +3 more sources

A high-capacity and long-life aqueous rechargeable zinc battery using a metal oxide intercalation cathode

Nature Energy, 2016
Dipan Kundu, Victor Duffort, Shahrzad Hosseini Vajargah   +2 more
exaly  

Network pharmacology, a promising approach to reveal the pharmacology mechanism of Chinese medicine formula

Journal of Ethnopharmacology, 2023
exaly  

Hydrogen-Bonding Recognition-Induced Color Change of Gold Nanoparticles for Visual Detection of Melamine in Raw Milk and Infant Formula

Journal of the American Chemical Society, 2009
Kelong Ai
exaly  

Proving Propositional Tautologies in a Natural Dialogue

Fundamenta Informaticae, 2013
Olena Yaskorska, Katarzyna Budzynska, M. Kacprzak   +2 more
semanticscholar   +1 more source