Reiter, Raymond <br/><br/>
Knowledge in action :  logical foundations for specifying and implementing dynamical systems / 
Raymond Reiter. 
 - xvi, 424 p. :  ill. ;  24 cm. 
<br/><br/>
<br/><br/><label>ISBN: </label>0262182181 (hc. : alk. paper) 
<br/><br/><label>LCCN: </label>2001030522 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Expert systems (Computer science)<br/>Logic, Symbolic and mathematical<br/>Knowledge representation (Information theory)
<br/><br/><label>LC Class. No.: </label>Q387  / .R48 2001