یک نظریه اثبات برای منطق توصیف
A proof theory for description logics
نویسنده: Alexandre Rademaker
ناشر: Springer
سال انتشار: 2012
تعداد صفحات: 109
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت
توضیحی برای این کتاب ثبت نشده است.