TY  - BOOK
AU  - Vardi,Moshe Y.
ED  - Conference on Theoretical Aspects of Reasoning about Knowledge 
TI  - Proceedings of the second conference on theoretical aspects of reasoning about knowledge
SN  - 0934613664
U1  - 006.3 23
PY  - 1988///
CY  - California : 
PB  - Morgan Kaufmann Publishers, 
KW  - Artificial intelligence
KW  - Congresses.
KW  - Theory of Knowledge
KW  - Symbolic and Mathematical Logic
KW  - Congresses
ER  -