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--]

Note

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

• 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:
  • BA00770952