Logical tools for handling change in agent-based systems / Dov M. Gabbay, Karl Schlechta

Auteur principal : Gabbay, Dov M., 1945-, AuteurCo-auteur : Schlechta, Karl, 1948-, AuteurType de document : MonographieCollection : Cognitive technologiesLangue : anglais.Pays: Allemagne.Éditeur : Berlin : Springer, 2010Description : 1 vol. (x, 305 p.) : ill. ; 24 cmISBN: 9783642044069.ISSN: 1611-2482.Bibliographie : Bibliogr. p; 295-298. Index.Sujet MSC : 03B20, General logic, Subsystems of classical logic (including intuitionistic logic)
03B45, General logic, Modal logic (including the logic of norms)
03B60, General logic, Other nonclassical logic
03C13, Mathematical logic and foundations - Model theory, Model theory of finite structures
68T27, Computer science, Logic in artificial intelligence
68-02, Research exposition (monographs, survey articles) pertaining to computer science
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 1 		03 GAB (Browse shelf(Opens below)) Available 07191-01

Bibliogr. p; 295-298. Index

There are no comments on this title.

to post a comment.