عنوان
پدید آورنده
موضوع
رده
Q310 .G33 2010eb
Q310
.
G33
2010eb
کتابخانه
محل استقرار
3642044077 (e-isbn)
9783642044076 (e-isbn)
3642044069
9783642044069
b433902
Logical tools for handling change in agent-based systems
[Book]
Dov M. Gabbay, Karl Schlechta
New York :
Springer,
c2010
1 online resource (x, 305 p.) :
ill
Cognitive technologies
Includes bibliographical references (p. 295-298) and index
Springer
978-3-642-04406-9
Logical tools for handling change in agent-based systems.
3642044069
OhioLINK electronic book center (Online)
SpringerLink
Intelligent agents (Computer software)
Logic, Symbolic and mathematical
Nonmonotonic reasoning
006
.
3
22
Q310
Q310
.
G33
2010eb
.
G33
2010eb
Gabbay, Dov M.,1945-
Schlechta, Karl
20120105122754.0
مطالعه متن کتاب [Book]
Y
