Catalog

Record Details

Catalog Search



Logical Tools for Handling Change in Agent-Based Systems [electronic resource] / by Dov M. Gabbay, Karl Schlechta.

Gabbay, Dov M. (author.). Schlechta, Karl. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642044076
  • Physical Description: X, 305p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Subject: Computer science.
Logic.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logic.

Additional Resources