Login / Signup
Completeness for Two Left-Sequential Logics
Daan J. C. Staudt
Published in:
CoRR (2012)
Keyphrases
</>
expressive power
inference rules
real time
machine learning
artificial intelligence
higher order
data sets
neural network
search engine
image processing
similarity measure
data quality
propositional calculus