Login / Signup
Mechanizing Explicit Inductive Equational Reasoning by DTRC.
Su Feng
Toshiki Sakabe
Yasuyoshi Inagaki
Published in:
IEICE Trans. Inf. Syst. (1995)
Keyphrases
</>
concept learning
inductive learning
inductive reasoning
machine learning
website
cooperative
trade off
inductive logic programming
database
neural network
metadata
case study
multi agent
information technology
deductive reasoning