Arlo interesgarriak

 

  • Sistema logikoak eta beraien aplikazioa Informatikan

  • Programen espezifikazio, transformazio eta egiaztapena

  • Murrizketen ebazgarritasuna

  • Arrazoitze automatikoa

  • Ikaste automatikoa

  • Programazio funtzionala

  • Programazio logikoa

  • Grafoen transformazioa

  • Datu-baseen teoria