Theorem Proving in Higher Order Logics Más libros de Otmane Ait Mohamed, César Muñoz & Sofiène Tahar

Recent Trends and Future Technology in Applied Intelligence

2018

Computational Intelligence and Its Applications

2018