Login / Signup
From Paramodulation to Narrowing.
Steffen Hölldobler
Published in:
ICLP/SLP (1988)
Keyphrases
</>
inference rules
theorem proving
first order logic
digital divide
databases
information technology
computational intelligence
learning algorithm
computer science
data collection
information sources
multimedia
web services
semi supervised
response time
conditional probabilities