نتایج پیچیدگی و الگوریتم های عملی برای منطق در بازنمایی دانش [پایان نامه دکتری]
Complexity Results and Practical Algorithms for Logics in Knowledge Representation [PhD Thesis]
نویسنده: Stephan Tobies
ناشر: Technische Hochschule Aachen
سال انتشار: 2001
تعداد صفحات: 182
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 940 کیلوبایت