006.332 / R278K
Reiter,Raymond
KNOWLEDGE IN ACTION
/ LOGICAL FOUNDATIONS FOR SPECIFYING AND IMPLEMENTING DYNAMICAL SYSTEMS
.- The Mit Press, Cambridge, 2001
.- xvi,424 .
Includes Bibliographical References And Index
ISBN: 0262182181
Subject Headings:
Knowledge Representation (Information Theory);
Expert Systems (Computer Science);
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A153282, Full Call No.: 006.332 R278K, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------