Qurak
تسجيل الدخول

FindEquationalProof

غير متاحة

FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
ابحث في المرجع

ذات صلة

ProofObjectAxiomaticTheoryFullSimplifyReduceFindInstance

كل الدوال الـ6300 · استخدم هذا من عميل MCP