Third Special Issue on Techniques for Automated Termination Proofs

By Giesl Jürgen   Kapur Deepak  

Journal of Automated Reasoning, Vol. 37, Iss. 3, 2006-10 ,pp. : 153-154

Springer Publishing Company

Access to resources Recommend Favorite

Asymmetric information distances for automated taxonomy construction

By Woon Wei   Madnick Stuart  

Knowledge and Information Systems, Vol. 21, Iss. 1, 2009-10 ,pp. : 91-111

Springer Publishing Company

Access to resources Recommend Favorite

Visually Dynamic Presentation of Proofs in Plane Geometry: Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method

By Ye Zheng   Chou Shang-Ching   Gao Xiao-Shan  

Journal of Automated Reasoning, Vol. 45, Iss. 3, 2010-10 ,pp. : 243-266

Springer Publishing Company

Access to resources Recommend Favorite

The Robbins problem: computer proofs and human proofs

By Kauffman Louis H.  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 30, Iss. 5-6, 2001-07 ,pp. : 726-752

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Towards the animation of proofs - testing proofs by examples

By Hayashi S.   Sumitomo R.   Shii K.-i.  

Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. : 177-195

Elsevier

Access to resources Recommend Favorite