@inproceedings{weko_176509_1,
   author	 = "田中,雄太 and 川端,英之 and 北村,俊明",
   title	 = "定理証明支援系のGUIにおける証明木表示機能の拡張",
   booktitle	 = "第57回プログラミング･シンポジウム予稿集",
   year 	 = "2016",
   volume	 = "2016",
   number	 = "",
   pages	 = "67--72",
   month	 = "jan"
}