Login / Signup

calculus.

Richard Statman
Published in: Ann. Pure Appl. Log. (2004)
Keyphrases
  • computer algebra
  • real time
  • timed automata
  • real world
  • information technology