著者典拠情報

著者標目形：
Rijke, Maarten de
属性：
Personal
から見よ参照形：
De Rijke, Maarten
注記：
Diamonds and defaults, 1993: CIP t.p. (Maarten de Rijke, Inst. for Logic, Language, and Computation, Univ. of Amsterdam)
著者典拠ID：
DA07590911


1.

図書
図書
1. Logic Colloquium '92 (: cloth ; : paper)
edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke
出版情報: Stanford, Calif. : CSLI Publications, c1995
シリーズ名: Studies in logic, language and information
所蔵情報: 図書館
2.

図書
図書
2. Modal logic and process algebra : a bisimulation perspective (: pbk)
edited by Alban Ponse, Maarten de Rijke & Yde Venema
出版情報: Stanford, Calif. : Center for the Study of Language and Information, c1995
シリーズ名: CSLI lecture notes ; no. 53
所蔵情報: 図書館
updating availability status information…