著者名 書名 版表示 出版者名 出版年 シリーズ名 番号 ISBN ISSN URL Conference on Theoretical Aspects of Reasoning about Knowledge and Parikh, Rohit and Almaden Research Center (IBM Research) Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California Morgan Kaufmann 1990 The Morgan Kaufmann series in representation and reasoning 1558601058 https://ci.nii.ac.jp/ncid/BA10293532