Meyer, John-Jules Ch <br/><br/>
Epestemic logic for AI and computer science 

 - Cambridge  Cambridge University Press  1995. 
 - xiii, 354 p. : ill. 
 - Cambridge tracts in theoretical computer science  41 .
<br/><br/> Bibliography 
<br/><br/><label>ISBN: </label>052146014x 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE<br/>LOGIC, SYMBOLICAL AND MATHEMATICAL<br/>ARTIFICIAL INTELLIGENCE
<br/><br/><label>LC Class. No.: </label>B 820.3 Mey