PLÖS-EVA - a tiny theorem prover

Författare
Thomas Hellström
Språk
Engelska
Förlag År Ort Om boken ISBN
1980 Sverige, Umeå 27 sidor.