Author:Fairouz Kamareddine

Keyphrases

abstract 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 theory², WEKA.