Login / Signup
Integrating Specialized Procedures in Proof Systems.
Vishal Sikka
Published in:
AAAI (1994)
Keyphrases
</>
management system
computer systems
learning systems
systems require
information retrieval
neural network
real world
machine learning
similarity measure
medical images
complex systems