Login / Signup

Two measures for proving Gentzen's Hauptsatz without mix.

Mirjana Borisavljevic
Published in: Arch. Math. Log. (2003)
Keyphrases
  • genetic algorithm
  • real world
  • ground truth