2024-03-29T01:47:36Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00008770
2023-04-21T04:54:51Z
3:233:244
Termination of term rewriting systems : transformation and persistence
Ohsaki, Hitoshi
大崎, 人士
open access
Symbolic computation is in some sense a collection of mechanical operations for solving mathematical problems. The concept of Turing machines is the first mechanical method that facilitates ...
1997
1998
jpn
doctoral thesis
http://hdl.handle.net/2241/6434
https://tsukuba.repo.nii.ac.jp/records/8770
https://www.tulips.tsukuba.ac.jp/opac/volume/1033897
全文はOPACにあり
甲第1914号
博士(工学)
Doctor of Philosophy in Engineering
1998-03-23
12102
筑波大学
University of Tsukuba
https://tsukuba.repo.nii.ac.jp/record/8770/files/A1914.pdf
application/pdf
136.6 kB
2013-12-18