L.C.PaulsonIsabelle – A generic the

L.C.Paulson
Isabelle – A generic theorem prover, Lecture Notes in Computer Science 828, Springer-Verlag, 1994

S.-C. Chou
X.-S. Gao, J.-Z. Zhang, Machine proofs in geometry, Series of Applied Mathematics, vol. 6, World Scientific, Singapore, 1994.

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

L.C.Paulsonมะนิลา – เป็นทฤษฎีบททั่วไป prover อนในคอมพิวเตอร์วิทยาศาสตร์ 828, Springer Verlag, 1994S. C. โชวเกา x. อัพ S., J. Z เตียว เครื่องพิสูจน์อักษรในเรขาคณิต ชุดของใช้คณิตศาสตร์ ปี 6 วิทยาศาสตร์โลก สิงคโปร์ 1994

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

LCPaulson
อิสซาเบล - ทฤษฎีบททั่วไป Prover บรรยายในวิทยาการคอมพิวเตอร์ 828 สปริงเกอร์-Verlag 1994 S. -C. Chou -เอ็กซ์เอส Gao, J. -Z. Zhang พิสูจน์เครื่องในเรขาคณิต, ซีรีส์ของคณิตศาสตร์ประยุกต์ฉบับ 6, วิทยาศาสตร์โลก, สิงคโปร์, 1994

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

l.c.paulson
อิซาเบลและโพรเวอร์ทฤษฎีบททั่วไป , บันทึกการบรรยายในวิทยาศาสตร์ 828 , คอมพิวเตอร์ Springer Verlag , 1994

S - c . X - S . เกาโจว
J - Z . Zhang , เครื่องปรู๊ฟในเรขาคณิต , ชุดคณิตศาสตร์ประยุกต์ เล่มที่ 6 โลก , วิทยาศาสตร์ , สิงคโปร์ , 1994