haku: @keyword lauselogiikka / yhteensä: 2
viitteet: 1-2 / 2
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
Toteutumattomuusongelman polynomiset varmenteet
 2014 Kuuranne, Veli
2.
Approaches to Grid-Based SAT-Solving
 2009 Hyvärinen, Antti E. J.
« edellinen sivu | seuraava sivu »
INSSI