haku: @keyword proof theory / yhteensä: 1
viitteet: 1-1 / 1
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
An Interactive Theorem Prover for Linear Logic
 1993 Patinen, Juha-Pekka
« edellinen sivu | seuraava sivu »
INSSI