Unification des sémantiques usuelles de programmes logiques.

Yann Loyer Nicolas Spyratos Daniel Stamate

Published in: JFPLC (1998)

Keyphrases

higher order
equational theories
technology enhanced
theorem proving
artificial intelligence
higher education
theorem prover
database
knowledge base
web services
artificial neural networks
probabilistic model
lifelong learning
automated theorem proving
corporate training