Login / Signup

Vers une unification de l'évaluation de la tâche de pointage en environnement virtuel 3D.

Bénédicte SchmittMathieu RaynalCédric BachDavid CroenneEmmanuel Dubois
Published in: Tech. Sci. Informatiques (2013)
Keyphrases
  • higher order
  • real option
  • theorem proving
  • knuth bendix
  • equational theories
  • automated theorem proving
  • artificial intelligence
  • metadata
  • lower bound
  • domain knowledge
  • dynamic programming
  • theorem prover