Kết quả tìm kiếm tác giả

1

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Được phát hành 2001

Tác giả khác: “...Richter-Gebert, Jurgen, 1963-...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt