Machines environnement pour la rduction symbolique et l'valuation partielle. Thse de l'universit de Paris VII (1991)

by P Crgut