Login / Signup

The x-Calculus.

Yuxi Fu
Published in: APDC (1997)
Keyphrases
  • real world
  • genetic algorithm
  • special case
  • real numbers
  • automated deduction
  • algebraic structure
  • sequent calculus