Login / Signup

On the Gentzen Type Formalizations.

Anita Wasilewska
Published in: Math. Log. Q. (1980)
Keyphrases
  • neural network
  • real time
  • social networks
  • case study
  • theorem prover