Login / Signup
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs.
Anne Parrain
Philippe Devienne
Patrick Lebègue
Published in:
JTASPEFT/WSA (1991)
Keyphrases
</>
logic programming
knowledge representation
expert systems
programming language
knowledge base
real time
theorem proving
abstract machine
website
case study
artificial neural networks
m learning
lifelong learning
logic programming language
functional programming
semantically equivalent