haku: @instructor Lilius, Johan / yhteensä: 5
viitteet: 5-5 / 5
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
5.
An Interactive Theorem Prover for Linear Logic
 1993 Patinen, Juha-Pekka
« edellinen sivu | seuraava sivu »
INSSI