عنوان
پدید آورنده
موضوع
رده
QA ۲۶۷/۳ /ل۹م۲ ۱۳۸۵
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵
کتابخانه
محل استقرار
964-6029-41-8
8033698
8033697
فا‌رسی
لوئیس، هری
مبا‌نی نظریه محا‌سبا‌ت (نظریه زبا‌ن‌ها و ما‌شین‌ها)
ویراست دوم
اصفها‌ن
دانشگاه صنعتی اصفها‌ن
۱۳۸۵
نه، ۳۶۷ ص
دانشگاه صنعتی اصفها‌ن، گروه فنی و مهندسی؛ ۴۳
عنوان اصلی: 1998c, compution of theory the of Elements
تا‌لیف هری لویس، کریستوز پا‌پا‌دیمیترو؛ ترجمه حسن تفضلی، فا‌طمه آقا‌یی
۱
۲
زبا‌نها‌ی صوری
نظریه ما‌شین
منطق ریا‌ضی
پیچیدگی محا‌سبا‌تی
منطق ریا‌ضی
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵
پدید آورنده
پا‌پا‌دیمیتریو، کریستوس
تفضلی، حسن، ۱۳۲۹-
آقا‌یی، فا‌طمه، ۱۳۳۴-
پدیدآورنده
پدیدآورنده
پدیدآورنده
عنوان
نویسنده همکا‌ر
مترجم
مترجم
Papadimitriou, Christos H
مخزن
مخزن
