haku: @keyword logiikka / yhteensä: 4
viitteet: 2-4 / 4
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
2.
An Interactive Theorem Prover for Linear Logic
 1993 Patinen, Juha-Pekka
3.
Digitaalipiirien testivektoreiden automaattinen generointi
 1989 Hyytiäinen, Ilkka
4.
Epämonotoninen logiikka tietämystekniikassa
 1987 Niemelä, Ilkka
« edellinen sivu | seuraava sivu »
INSSI