Näytetään aineistoja, joilla on samankaltainen nimeke tai asiasanat.

• Kirjastokokoelman kirjojen kunnon ennustaminen logistisella regressiomallilla 

  Åberg, Tomi (2003)

• WP-laskennan oikeellisuus ja täydellisyys 

  Vuorenmaa, Antti (2003)

• Kurt Gödelin epätäydellisyyslauseiden vaikutuksista David Hilbertin ohjelmaan 

  Käkelä, Kai (2004)

• Adapting Formal Logic for Everyday Mathematics 

  Valmari, Antti (SCITEPRESS - Science and Technology Publications, 2022)

  Although logic is considered central to mathematics and computer science, there is evidence that teaching logic has not been a great success. We identify three issues where what is typically taught conflicts with what is ...

• The formal method known as B and a sketch for its implementation 

  Kaijanaho, Antti-Juhani (2002)