@techreport{weko_186594_1,
   author	 = "金原,雅典 and 佐藤,亮介 and 鵜林,尚靖 and 亀井,靖高",
   title	 = "機械学習によるCoq上の命題論理の自動証明に関する研究",
   year 	 = "2018",
   institution	 = "九州大学, 九州大学, 九州大学, 九州大学",
   number	 = "4",
   month	 = "mar"
}