Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators

Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators

D. Cantone
لا توجد تقييمات بعد
2018 · الإنجليزية · غلاف ورقي
أضف إلى الرف

قيم هذا الكتاب

تصدير مجلة الكتاب

المراجعات

لا توجد مراجعات بعد

كن أول من يراجع هذا الكتاب وشارك أفكارك

تسجيل الدخول للمراجعة
أضف إلى الرف

قيم هذا الكتاب

تصدير مجلة الكتاب