図的対象を扱う証明チェッカのための視覚化ツール

論文・著書情報

タイトル

和文:	図的対象を扱う証明チェッカのための視覚化ツール
英文:	A Visualization Tool for a Proof Checker that Deals with Diagrammatic Objects

著者

和文:	山本光晴, 萩谷昌己, 白取知樹, 西崎真也.
英文:	山本光晴, 萩谷昌己, 白取知樹, Shin-ya Nishizaki.

言語

Japanese

掲載誌/書名

和文:	インタラクティブシステムとソフトウェアIII
英文:

巻, 号, ページ

pp. 85-92

出版年月

1995年12月

出版者

和文:	近代科学社
英文:

会議名称

和文:	第3回「インタラクティブシステムとソフトウェアに関するワークショップ」(WISS’95)
英文:

開催地

和文:
英文: