دانلود کتاب Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2: Deduction Methodologies
by Gabbay D.M.
|
عنوان فارسی: راهنمای منطق در هوش مصنوعی و منطق برنامه نویسی. جلد 2: روش کسر |