undergraduate thesis
Modeling and solving problems with first-order logic

Matija Varga (2013)
University of Zagreb
Faculty of Organization and Informatics Varaždin
Department of Theoretical and Applied Foundations of Information Sciences