Login / Signup
Explications d'un tableau par un autre : le programme RESDIF.
Roger Lafosse
Published in:
Monde des Util. Anal. Données (1991)
Keyphrases
</>
description logics
distance learning
automated theorem proving
proof search
machine learning
information retrieval
knowledge base
higher education
theorem prover
databases
genetic algorithm
artificial intelligence
association rules
cost function
scheduling problem