Results 271 to 280 of about 523,591 (296)

Theorem-Proving on the Computer

Journal of the ACM, 1963
openaire   +2 more sources

Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving

Lecture Notes in Computer Science, 2021
Konstantin Korovin, Edvard K Holden
exaly  

Overview of Theorem Proving

ACM SIGSOFT Software Engineering Notes, 1985
openaire   +1 more source

Automatically Proving Plane Geometry Theorems Stated by Text and Diagram

International Journal of Pattern Recognition and Artificial Intelligence, 2019
Wenbin Gan
exaly  

Proving Geometry Theorems With Rewrite Rules

Journal of Automated Reasoning, 1986
Shang-Ching Chou, Bill Schelter
exaly  

A Multi-Agent Framework for Distributed Theorem Proving

Expert Systems With Applications, 2005
Chih-Hung Wu
exaly  

Strips: A New Approach to the Application of Theorem Proving to Problem Solving

Artificial Intelligence, 1971
Richard E Fikes, Nils John Nilsson
exaly  

Automated Theorem Proving

1982
openaire   +2 more sources

Theorem Proving Based on the Extension Rule

Journal of Automated Reasoning, 2003
Yimin Zhang, Jigui Sun
exaly  

Verifying Safety Properties of a Nonlinear Control by Interactive Theorem Proving With the Prototype Verification System

Information Processing Letters, 2016
Andrea Domenici, Cinzia Bernardeschi
exaly