computer theorem proving
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computer theorem proving in some extended logic

Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018 ◽

10.1117/12.2501599 ◽

2018 ◽

Author(s):

Sławomir Płodczyk ◽

Janusz Wesserling ◽

Jan Mulawka

Keyword(s):

Theorem Proving ◽

Computer Theorem Proving

Download Full-text

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21362-0_5 ◽

2015 ◽

pp. 72-93 ◽

Cited By ~ 3

Author(s):

Vesna Marinković ◽

Predrag Janičić ◽

Pascal Schreck

Keyword(s):

Theorem Proving ◽

Geometric Construction ◽

Computer Theorem Proving

Download Full-text

Computer Theorem Proving and HoTT

ICGA Journal ◽

10.3233/icg-2013-36204 ◽

2013 ◽

Vol 36 (2) ◽

pp. 100-103 ◽

Cited By ~ 1

Author(s):

Joe Leslie-Hurd ◽

G.McC. Haworth

Keyword(s):

Theorem Proving ◽

Computer Theorem Proving

Download Full-text

Computer Theorem Proving in Mathematics

Letters in Mathematical Physics ◽

10.1007/s11005-004-0607-9 ◽

2004 ◽

Vol 69 (1-3) ◽

pp. 287-315 ◽

Cited By ~ 3

Author(s):

Carlos Simpson

Keyword(s):

Theorem Proving ◽

Computer Theorem Proving

Download Full-text

Computer Theorem Proving and Artificial Intelligence

Computation, Logic, Philosophy ◽

10.1007/978-94-009-2356-0_5 ◽

1990 ◽

pp. 63-75 ◽

Cited By ~ 3

Author(s):

Hao Wang

Keyword(s):

Artificial Intelligence ◽

Theorem Proving ◽

Computer Theorem Proving

Download Full-text

Computer theorem proving and artificial intelligence

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/749239 ◽

1984 ◽

pp. 49-70 ◽

Cited By ~ 6

Author(s):

Hao Wang

Keyword(s):

Artificial Intelligence ◽

Theorem Proving ◽

Computer Theorem Proving

Download Full-text

computer theorem provingRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Computer theorem proving in some extended logic

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems

Computer Theorem Proving and HoTT

Computer Theorem Proving in Mathematics

Computer Theorem Proving and Artificial Intelligence

Computer theorem proving and artificial intelligence

computer theorem proving
Recently Published Documents