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)

هنوز رتبه‌بندی نشده است
2011 · انگلیسی · جلد نرم
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب

نقدها

هنوز نظری ثبت نشده است

اولین نفری باشید که این کتاب را نقد کرده و نظرات خود را به اشتراک می‌گذارید

برای بررسی وارد شوید
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب