Grammaire d'Unification Sens-Texte : modularité et polarisation.

Sylvain Kahane François Lareau

Published in: TALN (Articles longs) (2005)

Keyphrases

refractive index
surface reconstruction
theorem prover
higher order
image analysis
equational theories
theorem proving
automated theorem proving
database
training data
optimal solution
multiresolution
domain knowledge
point cloud
knuth bendix