Doc. No.
146c
Organization Name
Raymond Reiter
Call. No.
629. 892,R 666
Software Name
library darya
Subjects
engineering robotics
Indexing Date
1387/05/14
Holding Information
705
Pakage Name
Knowledge in Action :Logical Foundation for Specifying and Implementing Dynamical Systems