استدلال مدل نامحدود و محدود در فرمالیسم های نمایشی مبتنی بر کلاس [پایان نامه دکترا]
Unrestricted and finite model reasoning in class-based representation formalisms [PhD Thesis]
نویسنده: Diego Calvanese
ناشر: Universita di Roma “La Sapienza”
سال انتشار: 1996
تعداد صفحات: 155
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 973 کیلوبایت