دانش در عمل: مبانی منطقی برای تعریف و پیاده سازی سیستم های دینامیکی
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
نویسنده: Raymond Reiter
ناشر: The MIT Press
سال انتشار: 2001
تعداد صفحات: 445
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت