Volume 45, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 45, Issue 3

October 2010

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Visually Dynamic Presentation of Proofs in Plane Geometry
Zheng Ye
Shang-Ching Chou
Xiao-Shan Gao
OriginalPaper 18 December 2009 Pages: 213 - 241
Visually Dynamic Presentation of Proofs in Plane Geometry
Zheng Ye
Shang-Ching Chou
Xiao-Shan Gao
OriginalPaper 23 December 2009 Pages: 243 - 266
Equivariant Unification
James Cheney
OriginalPaper 22 December 2009 Pages: 267 - 300
A Formalization of the Knuth–Bendix(–Huet) Critical Pair Theorem
André L. Galdino
Mauricio Ayala-Rincón
OriginalPaper 21 January 2010 Pages: 301 - 325