Mathematical Logic and Deduction in Computer Science Education.

Hashim Habiballa Tibor Kmet

Published in: Informatics Educ. (2008)

Keyphrases

computer science education
computer algebra
computing education
computer science
keynote address
automated theorem provers
united kingdom
educational technology
game development
theorem prover
activity theory
inference rules
artificial intelligence
machine learning
learning styles
online learning
e learning