Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymon...
Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymon...
Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter.
About this item
Full title
Author / Creator
Publisher
Cambridge, Mass. : MIT Press, c2001.
Call Numbers
N006.332/2
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
xvi, 424 p. 23 cm.
Publication information
Publisher
Cambridge, Mass. : MIT Press, c2001.
Place of Publication
Massachusetts
Date Published
c2001.
Subjects
More information
Alternative Titles
Full title
Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter.
Authors, Artists and Contributors
Author / Creator
Notes
General note
Includes bibliographical references (p. [409]-418) and index.
Includes bibliographical references and index.
Contextual Information
Date Copyright
c2001.
Identifiers
Primary Identifiers
Call Numbers
N006.332/2
Record Identifier
74Vv4aBeyK6X
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74Vv4aBeyK6X
Other Identifiers
ISBN
0262182181 (h.c. : alk. paper)
9780262182188 (hc. : alk. paper)
0262182181 (hc. : alk. paper)
9780262182188 :
0262182181 :
9780262182188 (h.c. : alk. paper).
0262182181 (h.c. : alk. paper).
9780262182188 (h.c. : alk. paper)
DDC
006.332
MMS ID
991015484909702626
