Login / Signup
Towards a new Step of Logic Paradigm.
Kazuhiro Fuchi
Published in:
DOOD (1989)
Keyphrases
</>
logic programming
multiscale
modal logic
automated reasoning
data sets
information retrieval
probability theory
multi valued
nonmonotonic logics
proof theory