2024-03-28T17:14:17Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00042820
2023-06-12T06:08:29Z
3:267:281
Symbolic computation and machine learning on logical formulas
論理式に対する数式処理と機械学習
Kobayashi, Munehiro
小林, 宗広
open access
2016
【要旨】
2017
jpn
thesis
http://hdl.handle.net/2241/00147718
https://tsukuba.repo.nii.ac.jp/records/42820
http://hdl.handle.net/2241/00147759
甲第8012号
博士(理学)
Doctor of Philosophy in Science
2017-03-24
12102
筑波大学
University of Tsukuba
https://tsukuba.repo.nii.ac.jp/record/42820/files/A8012.pdf
application/pdf
246.3 kB