|
|||||
|
|
Reconsideration of circumscriptive induction with pointwise circumscription |
|
| Authors: | Koji Iwanuma Katsumi Inoue Hidetomo Nabeshima |
| Affiliation: | aUniversity of Yamanashi, 4-3-11 Takeda, Kofu-shi, Yamanashi 400-8511, Japan;bNational Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |