We will approach automated deduction systems that follow different
paradigms from the view of the application user. The tutorials require
experimenting with the introduced systems and presenting solutions.