سان مایکروسیستمز
برابر انگلیک (انگلیسی): Sun Microsystems


تاربرگ‌های پیموده‌شده در این نشست: بنداشت K ⟩ Semantical Considerations on Modal Logic ⟩ واکوبش‌های گول‌زننده ⟩ بَوَندَگی ⟩ سامانه سویی چندی‌گذارده ⟩ سامانه دیسه‌ای