Forward and Backward Chaining Techniques of Reasoning in Rule-Based Systems
Bareen Haval Sadiq Mzori · Eastern Mediterranean University Institutional Repository (Eastern Mediterranean University) · 2015
Master of Science in Applied Mathematics and Computer Science. Thesis (M.S.)--Eastern Mediterranean University, Faculty of Arts and Sciences, Dept. of Mathematics, 2015. Supervisor: Prof. Dr. Rashad Aliyev.