Compilation de Lambda-Prolog. Th#se de Doctorat, Universit# de Rennes I (1992)

by Pascal Brisset