close
1.

図書
図書
1. Reasoning from incomplete knowledge in a procedural deduction system
Robert C. Moore
出版情報: New York : Garland Pub., 1980
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…
2.

図書
図書
2. Formal theories of the commonsense world
Jerry R. Hobbs and Robert C. Moore, editors
出版情報: Norwood, NJ : Ablex Pub., 1985
シリーズ名: Ablex series in artificial intelligence
所蔵情報: loading…