Vérification interactive de démonstrations mathématiques

Author(s)

    • Kiremitdjian, Georges

Bibliographic Information

Vérification interactive de démonstrations mathématiques

Georges Kiremitdjian

（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

Search this Book/Journal

Note

Publication Mathématique d'Orsay,No. 15675. 45, Note ECSTASM No. 13

Related Books： 1-1 of 1

Details

  • NCID
    BA08628875
  • Country Code
    fr
  • Title Language Code
    fre
  • Text Language Code
    fre
  • Place of Publication
    Orsay
  • Pages/Volumes
    92 leaves
  • Size
    30 cm
  • Parent Bibliography ID
Page Top