01440nam a2200385 4500 DLU030023238 ##20011203091533.0 ##010905s2001 gw a b 101 0 eng 2001049648 3540425985 (acid-free paper) DLC DLC DLC pcc QA448.D38 I577 2000 516.028 5 ADG International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland) Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jurgen Richter-Gebert, Dongming Wang (eds.). Berlin ; New York : Springer, c2001. viii, 323 p. : ill. ; 24 cm. Includes bibliographical references and index. Automatic theorem proving Congresses. Geometry Data processing Congresses. Logic, Symbolic and mathematical Congresses. Richter-Gebert, Jurgen, 1963- Wang, Dongming. Lecture notes in computer science ; 2061. Lecture notes in computer science. Lecture notes in artificial intelligence. 70.20 DLU True Phan Ngọc Đông G A SH Thư viện Trường Đại học Đà Lạt