Login / Signup
Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics.
Àngel J. Gil
Jordi Rebagliato
Published in:
Reports Math. Log. (2006)
Keyphrases
</>
databases
real time
machine learning
pattern recognition