- سایت 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
- مقاله: منطق محاسباتي