Rouff, Christopher A.
Agent Technology from a Formal Perspective [electronic resource] / edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears. - London : Springer London, 2006. - digital. - NASA Monographs in Systems and Software Engineering, 1860-0131 . - NASA Monographs in Systems and Software Engineering, .
9781846282713
10.1007/1-84628-271-3 doi
Computer science.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
QA8.9-QA10.3
005.131
Agent Technology from a Formal Perspective [electronic resource] / edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears. - London : Springer London, 2006. - digital. - NASA Monographs in Systems and Software Engineering, 1860-0131 . - NASA Monographs in Systems and Software Engineering, .
9781846282713
10.1007/1-84628-271-3 doi
Computer science.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
QA8.9-QA10.3
005.131