استنتاج های غیر استاندارد در منطق های توصیف: از مبانی و تعاریف تا الگوریتم ها و تجزیه و تحلیل (یادداشت های سخنرانی در علوم کامپیوتر، 2100)
Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis (Lecture Notes in Computer Science, 2100)
نویسنده: Ralf Küsters
ناشر: Springer
سال انتشار: 2001
تعداد صفحات: 256
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت