Volume 53, Issue 2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 53, Issue 2

August 2014

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Theorem of Three Circles in Coq
Julianna Zsidó
OriginalPaper 22 December 2013 Pages: 105 - 127
Proof Pearl: The KeY to Correct and Stable Sorting
Stijn de Gouw
Frank de Boer
Jurriaan Rot
OriginalPaper 15 January 2014 Pages: 129 - 139
Machine Learning for First-Order Theorem Proving
James P. Bridge
Sean B. Holden
Lawrence C. Paulson
OriginalPaper 22 February 2014 Pages: 141 - 172
Learning-Assisted Automated Reasoning with Flyspeck
Cezary Kaliszyk
Josef Urban
OriginalPaper Open access 01 June 2014 Pages: 173 - 213