Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Main Author Chou, Shang-Ching, 1946- Coauthor Gao, Xiao-Shan,
Zhang, Jing-Zhong, 1936- Country Singapura. Publication Singapore : World Scientific, cop. 1994 Description XVII, 461 p. ; 23 cm Series Series applied mathematics , 6) ISBN 981-02-1584-3 CDU 514
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 107990 Available 262043
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.