RecordNumber
767
Author
International Workshop on Automated Deduction in Geometry (1st : 1996 : Toulouse, France)
Title
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
Author Statement
Dongming Wang (ed.).
Publication
Berlin ; New York : Springer
Publication Year
c1998
Collation
1 online resource : ill.
Series
Lecture notes in computer science, 0302-9743 ; Lecture notes in artificial intelligence 1360.
Subject
Geometry --Data processing Congresses , Automatic theorem proving -- Congresses , Logic, Symbolic and mathematical --Congresses
ADDED ENTRIES
AU Wang, Dongming , SE Lecture notes in computer science ; 1360 , CO Lecture notes in computer science Lecture notes in artificial intelligence
وارد کنندة اطلاعات
محمدي ايزو
تاريخ ورود اطلاعات
11/03/05
Biblography
Springer,