Machines à environnement pour la réduction symbolique et l’évaluation partielle. Thèse de l’université de Paris VII (1991)

by P Crégut