Theorem Proving in Higher Order Logics Mehr Bücher von 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