F. Wiedijk, "Comparing mathematical

F. Wiedijk, "Comparing mathematical provers." In: A.
Asperti, B. Buchberger & J. Davenport (eds.),
Mathematical Knowledge Management, Proceedings
of MKM 2003, Springer LNCS 2594, 188-202, 2003.

ผลลัพธ์ (ไทย) 1:

F. Wiedijk "เปรียบเทียบ provers ทางคณิตศาสตร์" ใน: อ.Asperti, B. Buchberger และ J. ดาเวนพอร์ท (eds),จัดการความรู้ทางคณิตศาสตร์ ตอนMKM 2003, Springer LNCS 2594, 188-202, 2003

ผลลัพธ์ (ไทย) 2:

F. Wiedijk "เปรียบเทียบ provers คณิตศาสตร์." ใน: A.
Asperti บี Buchberger & J. ดาเวนพอร์ต (ชั้นเลิศ.),
คณิตศาสตร์การจัดการความรู้, การดำเนินการ
ของ MKM 2003 สปริงเกอร์ LNCS 2594, 188-202 2003

ผลลัพธ์ (ไทย) 3:

F . wiedijk " เปรียบเทียบ provers คณิตศาสตร์ " . . . .
asperti พ. buchberger &เจ ดาเวนพอร์ต ( แผนที่ ) , การจัดการความรู้ทางคณิตศาสตร์ เรื่อง mkm
ของ 2003 , สปริงเกอร์ lncs 2594 188-202 , 2003