Reiter, Raymond.
Knowledge in action : logical foundations for specifying and implementing dynamical systems /
Raymond Reiter.
- MIT Press 2001.
12447
Knowledge representation (Information theory).
Expert systems(Computer science).
Logic, Symbolic and mathematical.
Q387 / Rei.