証明アニメーション支援環境の構築

• 住友 亮翼

  神戸大学自然科学研究科

• 林 晋

  神戸大学工学部

書誌事項

タイトル別名

• ProofWorks : An Environment for Animation of Proofs
• ショウメイ アニメーション シエン カンキョウ ノ コウチク

抄録

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 16 (3), 3_263-3_266, 1999-05-17

  日本ソフトウェア科学会

詳細情報

• CRID: 1390282763062275584
• NII論文ID: 130007505365
• NII論文ID: 110003743269
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.16.3_263
• NDL書誌ID: 4724195
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I4724195
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可