Login / Signup
Why Sam doesn't know calculus.
Vladimir Lifschitz
Published in:
NMR (2002)
Keyphrases
</>
information retrieval
sequent calculus
database
data sets
search engine
automated deduction
algebraic structure
machine learning
artificial intelligence
metadata
computer algebra