Computational Logic
2
Professor Ilkka Niemelä Docent Tomi Janhunen Computational Logic
-
Upload
department-of-computer-science-aalto-university -
Category
Science
-
view
171 -
download
0
Transcript of Computational Logic
Professor Ilkka NiemeläDocent Tomi Janhunen
Computational Logic
Computational Logic in a NutshellWe develop automated reasoning techniques for solving challenging computational problems in engineering and science.