Home
Home
About
Contact
Begin your search of the AGOSR Open Access Database
Search
Reset
All Fields
Contributors
DOI
OAI
Results: 1
View Article
A Fully Automatic Theorem Prover with Human-Style Output.
M Ganesalingam
,
WT Gowers
Jun 27, 2016
ATP
Automated theorem proving
Human-like output
Human-oriented
Human-oriented theorem proving
Published by:
