Login / Signup
-Calculus.
Sylvain Salvati
Published in:
RTA (2006)
Keyphrases
</>
algebraic structure
computer algebra
computer vision
image processing
website
multiscale
automated deduction
sequent calculus