1. مبانی نظریه محاسبات ( نظریه زبانهاو ماشینها)
پدیدآورنده : / تالیف هری لویس، کریستوز پاپادیمیترو,Elements of the theory of compution, 2nd.ed ,c1998.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,aمنطق جدید
رده :
۵۱۱
/
۳
ل
۸۲۳
م
۲
ریو
