Theorem Proving in Higher Order Logics More Books by 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