000			00652pam a2200193a 44500
008			160408b2001 xxu||||| |||| 00| 0 eng d
020			_a0262182181
082			_a006.332 _bR278K
100			_aReiter,Raymond
245	1		_aKNOWLEDGE IN ACTION _cLOGICAL FOUNDATIONS FOR SPECIFYING AND IMPLEMENTING DYNAMICAL SYSTEMS
260			_a _bThe Mit Press, Cambridge _c2001
300			_axvi,424
500			_aIncludes Bibliographical References And Index
650			_aKnowledge Representation (Information Theory)
650			_aExpert Systems (Computer Science)
650			_aLogic, Symbolic And Mathematical
964			_gCIRC
997			_aA153282 C
999			_c350977 _d350977