Concepts mathématiques et informatiques formalisés dans le calcul des constructions.

Thierry Coquand Gérard P. Huet

Published in: Logic Colloquium (1985)

Keyphrases

machine learning
artificial intelligence
knowledge base
social networks
expert systems
user interface
co occurrence
background knowledge
concept learning
semantic relationships
mathematical problem solving