Mechanical Geometry Theorem Proving

Book information

Publisher

Springer

Year

1987

ISBN

9027726507, 9789027726506

Language

english

Format

DJVU

Filesize

5 MB (4796897 bytes)

Series

Mathematics and Its Applications (closed)

Edition

1987

Pages

375\375

Topic

Mathematics › Computer Algebra

DPI

300

Orientation

no

Scanned

yes

Time added

2014-02-18 08:11:39