Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
Professor Ilkka Niemelä Docent Tomi Janhunen Computational Logic
Computational Logic in a Nutshell We develop automated reasoning techniques for solving challenging computational problems...
Upcoming SlideShare
Loading in …5
×

Computational Logic

742 views

Published on

We develop automated reasoning techniques for solving challenging computational problems in engineering and science.

Published in: Science
no profile picture user

  • Login to see the comments

Computational Logic

  1. 1. Professor Ilkka Niemelä Docent Tomi Janhunen Computational Logic
  2. 2. Computational Logic in a Nutshell We develop automated reasoning techniques for solving challenging computational problems in engineering and science.

×