Theoretical aspects of reasoning about knowledge :  proceedings of the third conference (TARK 1990) March 4-7, 1990 Pacific GroveCalifornia / 
edited by Rohit Parikh. 
 - San Mateo, CA :  Morgan Kaufmann Pub.,  1990. 
 - 304 pages ;  28 cm. 
<br/><br/><label>ISBN: </label>1558801058 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence--Congresses.<br/>Knowledge, Theory of--Congresses.<br/>Logic, Symbolic and mathematical--Congresses.