فهرست مقالات Non-Recursive دسترسی آزاد مقاله صفحه چکیده متن کامل 1 - A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems Armin Ghasem Azar Zohreh Mohammad Alizadeh 10.7508/jist.2013.01.004