search query: @keyword theorem proving / total: 2
references: 2-2 / 2
« previous page | next page »
 titleyearauthor
2.
An Interactive Theorem Prover for Linear Logic
 1993 Patinen, Juha-Pekka
« previous page | next page »
INSSI