PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l`Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Trouvé sur https://fr.wikipedia.org/wiki/PhoX_(logiciel)
Aucun résultat n’a été trouvé dans l’encyclopédie.
PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l`Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere.