Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Sách giấy |
| Опубликовано: |
Singapore ; New Jersey :
World Scientific,
c1994.
|
| Серии: | Series on applied mathematics ;
v. 6 |
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Ваш комментарий будет первым!