الموضوعات المستخلصة من بحثك.
يعرض 1 - 1 نتائج من 1 نتيجة بحث عن '"Axioms Data processing."', وقت الاستعلام: 0.15s تنقيح النتائج
1
Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
بواسطة Chou, Shang-Ching, 1946-
منشور في 1994
الموضوعات: “...Axioms Data processing....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
أضف إلى المفضلة
محفوظ في:
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث