Author:Fairouz Kamareddine
Keyphrasesabstract syntax, abstraction, Academic and Social Integrations, Classification, Data Mining, formal definition, foundations of mathematics, higher education, inductive datatypes, interactive theorem proving, International students’ satisfaction, machine learning, notation, set theory2, WEKA. |