Login / Signup
calculus.
Philippe Balbiani
Jean-François Condotta
Gérard Ligozat
Published in:
J. Appl. Log. (2006)
Keyphrases
</>
automated deduction
computer algebra
real time
formal language