Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | , |
| Natura: | Sách giấy |
| Pubblicazione: |
Singapore ; New Jersey :
World Scientific,
c1994.
|
| Serie: | Series on applied mathematics ;
v. 6 |
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Lascia un commento!