Automated Geometric Theorem Proving

Automated Geometric Theorem Proving
By:"Joran M. Elias"
Published on 2004 by

E-book Library:"Automatic theorem proving"

This Book was ranked 12 by Google Books for keyword joran.

Thank you
E-Book University