Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often

This book is a collection of selected research papers presented at the 2023 4th International Conference on Artificial Intelligence in Education Technology (AIE

This book constitutes the refereed conference proceedings of the 7th International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2019, held

Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition

This is the second volume of a unique collection that brings together the best English-language problems created for students competing in the Computational Lin