div class=trans-pagebuttonPage 1button div class=trans-image amp-img class=trans-thumb alt=Page 1: Computational Logic src=https:reader036fdocumentsinreader036viewer202208252358d10df61a28ab823e8b60e3html5thumbnails1jpg width=142 height=106 layout=responsive amp-img divpProfessor Ilkka NiemeläDocent Tomi Janhunenp pComputational Logicpdivdiv class=trans-pagebuttonPage 2button div class=trans-image amp-img class=trans-thumb alt=Page 2: Computational Logic src=https:reader036fdocumentsinreader036viewer202208252358d10df61a28ab823e8b60e3html5thumbnails2jpg width=142 height=106 layout=responsive amp-img divpComputational Logic in a NutshellWe develop automated reasoning techniques for solving challenging computational problems in engineering and sciencepdiv