Login / Signup
An Order Hyperresolution Calculus for Gödel Logic - General First-order Case.
Dusan Guller
Published in:
IJCCI (2012)
Keyphrases
</>
special case
closely related
multi valued