Results 181 to 190 of about 25,305 (197)

How to Evaluate Proving Grounds for Self-Driving? A Quantitative Approach

IEEE Transactions on Intelligent Transportation Systems, 2021
Rui Chen, Weiyang Zhang, Ding Zhao
exaly  

Proof simplification and automated theorem proving

Philosophical Transactions Series A, Mathematical, Physical, and Engineering Sciences, 2019
Michael K Kinyon
exaly  

Automated reasoning in geometry theorem proving with Prolog

Journal of Automated Reasoning, 1986
Helder Coelho, Luis Moniz Pereira
exaly  

Another look at automated theorem-proving

Journal of Mathematical Cryptology, 2007
Neal Koblitz
exaly  

Inequality in early childhood: risk and protective factors for early child development

Lancet, The, 2011
Charles A Nelson, Helen Baker-Henningham, Betsy Lozoff   +2 more
exaly  

Creating a digital-vehicle proving ground

IEEE Intelligent Systems, 2003
Fei-Yue Wang, Li Li, Zhiheng Li
exaly  

Automated Health Checkups

Ca-A Cancer Journal for Clinicians, 1966
exaly  

Automated theorem proving by resolution in non-classical logics

Annals of Mathematics and Artificial Intelligence, 2007
Viorica Sofronie-Stokkermans
exaly  

Automated Theorem Proving in GeoGebra: Current Achievements

Journal of Automated Reasoning, 2015
Francisco Botana, Markus Hohenwarter, Predrag Janičić   +2 more
exaly  

Problems and Experiments for and with Automated Theorem-Proving Programs

IEEE Transactions on Computers, 1976
exaly