An edition of Knowledge in Action (2001)
Logical Foundations for Specifying and Implementing Dynamical Systems
By Raymond Reiter
Publish Date
September 1, 2001
Publisher
The MIT Press
Language
eng
Pages
446