آی‌بی‌ام
برابر انگلیک (انگلیسی): IBM


تاربرگ‌های پیموده‌شده در این نشست: بی‌کنشی چندبارگی ⟩ Modal Theorem K.1