« PML » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
PML : Proved ML or Programmable Mathematical Logic |
PML : Proved ML or Programmable Mathematical Logic |
||
[http://www.lama.univ-savoie.fr/~raffalli/pml La page web] |
[http://www.lama.univ-savoie.fr/~raffalli/pml La page web] |
||
[[ |
[[ User's manual ]] |
||
[[ Chronique de naissance (liste de |
[[ Chronique de naissance (liste de mails en français) ]] |
||
Version du 11 décembre 2007 à 20:08
PML : Proved ML or Programmable Mathematical Logic