مبانی نظریه محاسبات (نظریه زبانها و ماشینها)
نویسنده : کریستوز پاپادیمیترو,هری لویس
ترجمه : حسن تفضلی, فاطمه آقایی
برنامه نویسی در پرولوگ
نویسنده : ویلیام کلوکسین,کریستوفر ملیش
ترجمه : عبدالرضا میرزایی, الهه راشدی
