Login / Signup

calculus.

Philippe BalbianiJean-François CondottaGérard Ligozat
Published in: J. Appl. Log. (2006)
Keyphrases
  • automated deduction
  • computer algebra
  • real time
  • formal language