Login / Signup
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.
Larry Wos
Dolph Ulrich
Branden Fitelson
Published in:
J. Autom. Reason. (2002)
Keyphrases
</>
information retrieval
computer vision
database
real time
data sets
neural network
real world
artificial intelligence
multiscale
search algorithm
knowledge discovery
shortest path
pattern discovery