Showing 2016Show all
2 papers · 1 filter
cs.AI2016
The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem
Elnaserledinellah Mahmood Abdelwahab, Karim Daghbouche, Nadra Ahmad Shannan
The historic background of algorithmic processing with regard to etymology and methodology is translated into terms of mathematical logic and Computer Science. A formal logic struc…
cs.CC2016
Constructive Patterns of Logical Truth
Elnaserledinellah Mahmood Abdelwahab
The simplified linguistic relation between syntax and semantics as intrinsic property of classic Arabic motivates a dedicated look at P vs. NP in light of efforts and solutions pre…