1991 LISP : le langage pour mathématiciens ?
Auteur : Cuppens Roger
Il y a 2 résultats avec cette recherche.
1991 LISP : le langage pour mathématiciens ?
Auteur : Cuppens Roger
1990 Ecriture automatique de démonstrations en géométrie.
Auteurs : Guillot Philippe ; Jolivet Luc ; Leperd Jean-Luc ; Moulin Claude