Theorem Proving in Higher Order Logics Altri libri di 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