×
1986
Deux approches du parallélisme ET en Prolog.
M. Kharoune
,
Abderrahmane Aggoun
Proceedings of the SPLT'86, 1986
1985
Manipulation formelle de programmes Prolog.
M. Kharoune
Proceedings of the SPLT'85, 1985