Mechanical geometry theorem proving
Shang-Ching ChouКатегорії:
Рік:
1988
Видання:
1
Видавництво:
D. Reidel Pub. Co.; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
Мова:
english
Сторінки:
187
ISBN 10:
9027726507
ISBN 13:
9789027726506
Серії:
Mathematics and its applications
Файл:
DJVU, 4.41 MB
IPFS:
,
english, 1988