http://sintjurin.name/ http://sintjurin.name/2009/11/programming-languages-presentation-at-preparatory-course-for-english-for-science-and-research-at-tallinn-university-of-technology/ http://sintjurin.name/2010/02/introduction-to-my-future-practice-presentation-at-english-for-science-at-tallinn-university-of-technology/ http://sintjurin.name/2010/03/software-and-internet-licenses-presentation-at-english-for-science-at-tallinn-university-of-technology/ http://sintjurin.name/2010/04/an-overview-of-automated-theorem-provers-at-advanced-course-of-applied-logics-at-tallinn-university-of-technology/ http://sintjurin.name/2010/05/bucket-sort-algorithm-presentation-at-advanced-algorithms-and-data-structures-at-tallinn-university-of-technology/ http://sintjurin.name/2010/05/gaming-means-even-more-persuasive-presentation-at-english-for-science-at-tallinn-university-of-technology/ http://sintjurin.name/2010/05/semantic-web-presentation-at-english-for-science-at-tallinn-university-of-technology/ http://sintjurin.name/2011/03/an-overview-of-temporal-logic-at-advanced-course-of-applied-logics-at-tallinn-university-of-technology/ http://sintjurin.name/2011/05/a-report-of-a-specialty-practice-at-tallinn-university-of-technology/ http://sintjurin.name/about/ http://sintjurin.name/category/uncategorized/ http://sintjurin.name/tag/algorithms/ http://sintjurin.name/tag/gaming/ http://sintjurin.name/tag/licenses/ http://sintjurin.name/tag/logics/ http://sintjurin.name/tag/programming/ http://sintjurin.name/tag/semantics/ http://sintjurin.name/tag/theorem-provers/