English
Unordered
ACM Transactions on Computational Logic
Japaridze, Giorgi
2006 April 01
مشاهدهٔ کتاب
کشف منابع
computational logic
کتابها
2 نتیجه
English
Unordered
Theory and Practice of Logic Programming
KOWALSKI, ROBERT; SADRI, FARIBA
2016 March 16
مشاهدهٔ کتاب