
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 | http://libsearch.um.ac.ir:80/fum/handle/fum/2586305 | |
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 |