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