Ce diaporama a bien été signalé.
Nous utilisons votre profil LinkedIn et vos données d’activité pour vous proposer des publicités personnalisées et pertinentes. Vous pouvez changer vos préférences de publicités à tout moment.

Computational Logic

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

  • Identifiez-vous pour voir les commentaires

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.

×