Transformation d'un programme algorithmique en programme Prolog.

Published in: SPLT (1985)

Keyphrases

higher education
distance learning
expert systems
image processing
logic programming
theorem proving
linear transformation
real time
e learning
knowledge representation
image registration
software engineering