Authors: Almonayyes, A Raafat, H Almulla, M Alharshani, R

Citation: A. Almonayyes et al., Improving the time efficiency of proving theorems using a learning mechanism, INT J COM M, 77(2), 2001, pp. 169-180

Authors: Almulla, M Behbehani, W Loeper, H

Citation: M. Almulla et al., The integration of practical search and heuristic knowledge into a competitive go-playing program, KUWAIT J S, 26(2), 1999, pp. 199-215

Authors: Almulla, M Hanna, LAM

Citation: M. Almulla et Lam. Hanna, A domain-independent system for modeling number theory using first-order predicate logic, KUWAIT J S, 26(1), 1999, pp. 29-48

Authors: Yu, QX Almulla, M Newborn, M

Citation: Qx. Yu et al., Heuristics used by HERBY for semantic tree theorem proving, ANN MATH A, 23(3-4), 1998, pp. 247-266