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.

Computational Logic

769 views

Published on

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

Published in: Science
  • 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.

×