Une nouvelle méthode de compilation logique: l'achèvement par cycles.

Olivier Roussel Philippe Mathieu

Published in: JFPLC (1996)

Keyphrases

real time
database
learning algorithm
high quality
computational complexity
special case
programming language