Searching for "Basic Principles of Mechanical Theorem Proving in Elementary Geometries." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Elementary Aspects of Constructive Commutative Algebra
by Krister Forsman, M. Stillman, M. Stillman, D. Bayer, Macaulay User, Manual Available, Eighth Edition, In German, Encyklopadie Der Mathematischen Wissenschaften, Volume I, Chapter B. B — 1992
…. Addison-Wesley, second edition, 1991. [82] W.-T. Wu. Basic principles of mechanical theorem proving…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB