البرمجة, الذكاء الاصطناعي, المنطق الرياضي, علوم الحاسوبإشباع الوحدات النمطية (Satisfiability Modulo Theories)
البرمجة, علوم الحاسوب, كومن ليسب, لغات البرمجة, واجهات المستخدم الرسوميةمدير واجهة المستخدم في كومن ليسب (Common Lisp Interface Manager – CLIM)