Entscheidungsproblem for formal Fiqh-Systems is formulated and validated. Keywords: algorithm, Khwarizmi, Islam, balance, algebra, Shariah, Islamic law,.
確定! 回上一頁