Login / Signup
Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques?
Kaninda Musumbu
Published in:
JFPL (1993)
Keyphrases
</>
mobile robot
expert systems
databases
tutoring system
neural network
image sequences
knowledge representation
logic programming
constraint logic programming
computer vision
data structure
programming language
structural features
logic programming language