Mechanical geometry theorem proving

Book information

Publisher

D. Reidel Pub. Co.; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers

Year

1988

ISBN

9027726507, 9789027726506

Language

english

Format

DJVU

Filesize

3 MB (3366770 bytes)

Series

Mathematics and its applications

Edition

1

Pages

374\374

Topic

Mathematics › Geometry and Topology

Library

kolxoz

Time added

2009-07-20 03:45:11