- سایت uomi
 - language of temporal ordering specification
 - European Masters Program in Computational Logic
 - pseudo-triangulations
 - منطق
 - بازی آنلاین دنیای هیولا
 - درخواست مقاله مرتبط با منطق محاسباتی
 - اسلايدهاي Computational Logic
 - Uses of Computational Logic at SICS/Sweden
 - Computational Logic: Modules
 - مقاله: منطق محاسباتي