A proof theory for description logics

خرید و دانلود نسخه کامل کتاب A proof theory for description logics

یک نظریه اثبات برای منطق توصیف

A proof theory for description logics

نویسنده: Alexandre Rademaker

ناشر: Springer

سال انتشار: 2012

تعداد صفحات: 109

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت

101,000 تومان 71,000 تومان