Documents liés : [2 document(s)]

Documents (Auteurs)

• [MathOuvrage] Vérification interactive de démonstrations mathématiques / Kiremitdjian, Georges. -Orsay : Université Paris XI, 1975. - pag. mult. ; 30 cm
  https://bibliotheque.imo.universite-paris-saclay.fr/bibliotheques-numeriques/publications/publis-avant-1995/ ; http://sites.mathdoc.fr/PMO/
  
• [MathOuvrage] SISGOF / Kiremitdjian, Georges. -Orsay : Université Paris XI, 1975. - pag. mult.
  https://bibliotheque.imo.universite-paris-saclay.fr/bibliotheques-numeriques/publications/publis-avant-1995/ ; http://sites.mathdoc.fr/PMO/