Vérification interactive de démonstrations mathématiques
Author(s)
Bibliographic Information
Vérification interactive de démonstrations mathématiques
(Publications mathématiques d'Orsay, no 156-75.45 . Note ECSTASM ; no 13)
Université Paris XI, U.E.R. mathématique, [19--]
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Publication Mathématique d'Orsay,No. 15675. 45, Note ECSTASM No. 13