Login / Signup
Efficient Proof Encoding.
Uros Pompe
Published in:
Inductive Logic Programming Workshop (1996)
Keyphrases
</>
data sets
image processing
image sequences
multi agent systems
relational databases
computationally expensive