@article{paperid:1032126,
author = {ملیحه امینی and نقیب زاده, محمود and سید هاشم محتشمی},
title = {استنتاج توزیع شده برروی آنتولوژی ها و قوانین در منطق Order-Sorted},
journal = {هوش محاسباتی در مهندسی برق},
year = {2012},
volume = {2},
number = {3},
month = {January},
issn = {2251-6530},
pages = {1--11},
			numpages = {10},
keywords = {آنتولوژی ها و قوانین؛ استنتاج توزیع شده؛ دائمی بودن ویژگی؛ منطق order-sorted},
}