Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Sách giấy |
| Được phát hành: |
Berlin ; New York :
Springer,
c2001.
|
| Loạt: | Lecture notes in computer science ;
2061. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| LEADER | 01440nam a2200385 4500 | ||
|---|---|---|---|
| 001 | DLU030023238 | ||
| 005 | ##20011203091533.0 | ||
| 008 | ##010905s2001 gw a b 101 0 eng | ||
| 010 | # | # | |a 2001049648 |
| 020 | # | # | |a 3540425985 (acid-free paper) |
| 040 | # | # | |a DLC |c DLC |d DLC |
| 042 | # | # | |a pcc |
| 050 | # | # | |a QA448.D38 |b I577 2000 |
| 082 | # | # | |a 516.028 5 |b ADG |
| 111 | # | # | |a International Workshop on Automated Deduction in Geometry |n (3rd : |d 2000 : |c Zurich, Switzerland) |
| 245 | # | # | |a Automated deduction in geometry : |b third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / |c Jurgen Richter-Gebert, Dongming Wang (eds.). |
| 260 | # | # | |a Berlin ; |a New York : |b Springer, |c c2001. |
| 300 | # | # | |a viii, 323 p. : |b ill. ; |c 24 cm. |
| 504 | # | # | |a Includes bibliographical references and index. |
| 650 | # | # | |a Automatic theorem proving |v Congresses. |
| 650 | # | # | |a Geometry |x Data processing |v Congresses. |
| 650 | # | # | |a Logic, Symbolic and mathematical |v Congresses. |
| 700 | # | # | |a Richter-Gebert, Jurgen, |d 1963- |
| 700 | # | # | |a Wang, Dongming. |
| 830 | # | # | |a Lecture notes in computer science ; |v 2061. |
| 830 | # | # | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |
| 992 | # | # | |a 70.20 |
| 994 | # | # | |a DLU |
| 900 | # | # | |a True |
| 911 | # | # | |a Phan Ngọc Đông |
| 925 | # | # | |a G |
| 926 | # | # | |a A |
| 927 | # | # | |a SH |
| 980 | # | # | |a Thư viện Trường Đại học Đà Lạt |