This page shows all presentations of this author published in EasyChair Smart Slide.
First-Order Logic Workbook
Ján Kľuka, Jozef Šiška, Miroslav Baluch, Milan Cifra, Samantha Gombárová, Norbert Jurík, Matej Komlóssy, Nikola Kulíková, Matej Mok, Alexandra Nyitraiová, Zoltán Onódy and Richard Tóth