Précédent : Animation scientifique Remonter : Diffusion des résultats Suivant : References
Précédent : Animation scientifique Remonter :
Diffusion des résultats Suivant :
References
La version 6 de Mali et la version 1 de Prolog/Mali sont déposées à l'agence pour la protection des programmes (APP ). Ces deux systèmes sont installés sur le serveur ftp de l'Irisa. Tous deux sont accompagnés d'une documentation.
L'évaluateur partiel Schism est disponible par ftp. Il a été installé dans les universités d'Aarhus, Carnegie Mellon University, Indiana University, Kansas State University, Oregon Graduate Institute, Stanford University, et Yale University. Il est utilisé pour l'enseignement et la recherche.