Sign in
-calculus.
Sergio Maffeis
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
computer algebra
databases
algebraic structure
automated deduction
digital libraries
sequent calculus
database
natural deduction
automated theorem proving
knowledge representation
probabilistic model
query language
video sequences
website
image processing
artificial intelligence
neural network