Books

Modelling Puzzles in First Order Logic Modelling Puzzles in First Order Logic
2021
Mining Intelligence and Knowledge Exploration Mining Intelligence and Knowledge Exploration
2018