اتوماسیون استدلال با اطلاعات ناقص: از مبانی معنایی تا محاسبات کارآمد
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
نویسنده: Torsten Schaub (auth.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1997
تعداد صفحات: 163
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت