Penerbit

Pengarang

Xia-shan Gao;

Judul

Judul Artikel

Automated Geometric Theorem Proving Diagram Generation and Applications (4)

Nama Prosiding

Bahasa

Eng

Abstrak Indonesia

Abstrak English

Kata Kunci

Tahun

2004

No. Panggil

SEM-351