Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems 2001 · ENGLISH · PDF View details →
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems 2001 · ENGLISH · PDF View details →
