Mechanical geometry theorem proving Shang-Ching Chou

By:

Contributor(s):

Material type: Text

TextSeries: Publication details: D Reidel Publishing Co., Dordrecht 1988Edition: Description: Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode
Book	Dept. of Mathematics Processing Center	Dept. of Mathematics	516 CHO-M (Browse shelf(Opens below))	Available		MAT3950

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	516 BRE-T;1 Topology and geometry	516 BUE.D Diagram geometry: related to classical groups and buildings	516 CED-C2 Course in modern geometries	516 CHO-M Mechanical geometry theorem proving	516 CLE-G Geomtry for the classroom	516 COO-H History of geometrical methods	516 COX I Introduction to geometry	Next

There are no comments on this title.

to post a comment.