Inférence grammaticale et grammaires catégorielles: vers la Grande Unification!

Isabelle Tellier

Published in: CAP (2005)

Keyphrases

higher order
theorem proving
knuth bendix
equational theories
multi agent systems
probability distribution
orders of magnitude