Gabbay Dov M Ed.

Logical tools for handling change in agent-based systems - Berlin Springer 2010 - x, 305p. cm. - Cognitive technologies .

Bibliography 295-298p.; Index 299-305p.

9783642044069 (hbd)

126694

3769, 28/03/2011, New India Book Agency Textual


Artificial intelligence
Mathematical logic and formal lanaguages
Mathematical logic and foundations
Nonmonotonic reasoning
Computer Science

B:(R1), Q0