كتابهاي الكترونيكي لاتين
بر اساس موضوع
from :
AIgebra - Dataprocessing
until :
Automatic theorem proving.