Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation)
Went Sun Wu
Xiao Fan Jin
Dong Ming Wang
Paperback. Springer-Verlag 1994-05-01.
ISBN 9780387825069
Buy from Amazon.co.uk
Similar books
Symbolic Logic and Mechanical Theorem Proving
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving
A Simple Non-Euclidean Geometry and Its Physical Basis: An Elementary Account of Galilean Geometry and the Galilean Principle of Relativity
Symbolic Logic and Mechanical Theorem Proving
Mechanical Geometry Theorem Proving
Rate the book
Write a review and share your opinion with others. Try to focus on the content of the book.
Read our instructions
for further information.
Mechanical Theorem Proving in Geometries: Basic Principles
Your rating:
Please enter a title for your review
(min 2 words):
Type your review in the space below
(max 1000 words):
Language of the review:
English
Your name
(optional):
Your email address
(not displayed,
only
for verification):
Your review will be displayed within five to seven business days.
Reviews that doesn't follow our
instructions
will not be displayed.
Book reviews
»
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation)
Categories
Address Books & Journals
Art & Architecture
Biography
Business, Finance & Law
Comics & Graphic Novels
Computers & Internet
Crime, Thrillers & Mystery
Fiction
Food & Drink
Health & Family
History
Home & Garden
Horror
Mind, Body & Spirit
Music, Stage & Screen
Poetry, Drama & Criticism
Reference & Languages
Religion & Spirituality
Science & Nature
Science Fiction & Fantasy
Scientific & Medical
Society & Philosophy
Sports & Hobbies
Book reviews
|
Help & support
|
About us