Theorem Proving in Higher Order Logics Plus de livres par Otmane Ait Mohamed, César Muñoz & Sofiène Tahar

Recent Trends and Future Technology in Applied Intelligence Recent Trends and Future Technology in Applied Intelligence
Recent Trends and Future Technology in Applied Intelligence
2018
Computational Intelligence and Its Applications Computational Intelligence and Its Applications
Computational Intelligence and Its Applications
2018