Knowledge in action : logical foundations for specifying and implementing dynamical systems
Raymond Reiter
Bok Engelsk 2001
Utgitt | Cambridge, Mass. : MIT Press , c2001
|
---|---|
Omfang | XVI, 424 s. : ill.
|
Emner | |
ISBN | 0262182181
|
Utgitt | Cambridge, Mass. : MIT Press , c2001
|
---|---|
Omfang | XVI, 424 s. : ill.
|
Emner | |
ISBN | 0262182181
|