Elnaserledinellah Mahmood Abdelwahab

Learn More
Abdelwahab et al. ABSTRACT 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 structure is introduced by exemplary questions posed to Fiqh-chapters to define a logic query language. As a foundation, a generic algorithm for deciding(More)
  • 1