Login / Signup

-Calculus.

Daniel HirschkoffDamien Pous
Published in: FoSSaCS (2007)
Keyphrases
  • automated deduction
  • three dimensional
  • multi agent
  • video sequences
  • computer algebra
  • website
  • proof procedure