Theorem Proving in Higher Order Logics المزيد من كتب Otmane Ait Mohamed, César Muñoz & Sofiène Tahar

Recent Trends and Future Technology in Applied Intelligence

٢٠١٨

Computational Intelligence and Its Applications

٢٠١٨