
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Author:
Publisher:
ISBN: 3540642978,9783540642978
Language:
EnglishSubject:
Education\International Conferences and Symposiums
Collections
:
-
Statistics
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Show full item record
| contributor author | Dongming Wang | |
| date accessioned | 2020-04-18T14:47:05Z | |
| date available | 2020-04-18T14:47:05Z | |
| date copyright | 1997 | |
| identifier isbn | 3540642978,9783540642978 | |
| identifier other | /pad-books/301000-400000/336000/5c6e010db33d5811ef533ebe32c231b8.djvu | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/2586305?locale-attribute=en | |
| format mimetype | application/djvu | |
| language | English | |
| publisher | Springer | |
| subject | Education\International Conferences and Symposiums | |
| title | Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers | |
| type | Ebook | |
| contenttype | Fulltext | |
| identifier padid | 488478 | |
| coverage | general | |
| pages | 242 | |
| filesize | 2362501 | |
| identifier link | https://pad.um.ac.ir/file/view/488478 | |
| description edition | 1 | |
| identifier ddc | 516/.00285 | |
| identifier lcc | QA448.D38 I577 1996 | |
| series | Lecture Notes in Computer Science 1360 |


