-
RecordNumber
78225
-
Author
International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)
-
Title
Automated deduction in geometry : 4th international workshop ...
-
Editor
Franz Winkler (ed.)
-
Publication
Springer
-
Publication Year
c2004
-
Collation
vi, 229 p. : ill
-
Series
Lecture notes in computer science
-
Bibliography
Includes bibliographies
-
Subject
Geometry-Data processing-Congresses , Automatic theorem proving-Congresses , Logic, Symbolic and mathematical-Congresses
-
ADDED ENTRIES
Winkler, Franz, 1955-, ed
-
Main Class
516
-
Sub Class
.00285
-
Cutter no
I61a
-
Date
2002
-
وارد كنندة اطلاعات
zharfi^d2006/07/11 09:27:23
-
Link To Document :
