منطق برای برنامه ها
Logic for Applications
نویسنده: Anil Nerode, Richard A. Shore
ناشر: Springer
سال انتشار: 1997
تعداد صفحات: 466
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 93 مگابایت
توضیحی برای این کتاب ثبت نشده است.