Login / Signup
An intuitionistic Sheffer function.
Kosta Dosen
Published in:
Notre Dame J. Formal Log. (1985)
Keyphrases
</>
neural network
database
real world
theorem prover
piecewise linear