O slideshow foi denunciado.
Utilizamos seu perfil e dados de atividades no LinkedIn para personalizar e exibir anúncios mais relevantes. Altere suas preferências de anúncios quando desejar.

Computational Logic

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

  • Entre para ver os comentários

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.

×