Vérification interactive de démonstrations mathématiques

著者

    • Kiremitdjian, Georges

書誌事項

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

大学図書館所蔵 件 / 全2件

この図書・雑誌をさがす

注記

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

関連文献： 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA08628875
  • 出版国コード
    fr
  • タイトル言語コード
    fre
  • 本文言語コード
    fre
  • 出版地
    Orsay
  • ページ数/冊数
    92 leaves
  • 大きさ
    30 cm
  • 親書誌ID
ページトップへ