منطق زمانی: از ایده های باستان گرفته تا هوش مصنوعی
Temporal Logic: From Ancient Ideas to Artificial Intelligence
نویسنده: Peter Øhrstrøm, F. V. Per Hasle (auth.)
ناشر: Springer Netherlands
سال انتشار: 1995
تعداد صفحات: 425
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت