Dastani, Mehdi.
Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. - Boston, MA : Springer US, 2010. - digital.
9781441969842
10.1007/978-1-4419-6984-2 doi
Computer science.
Software engineering.
Electronic data processing.
Artificial intelligence.
Computer Science.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Software Engineering.
Computing Methodologies.
QA76.758
005.1
Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. - Boston, MA : Springer US, 2010. - digital.
9781441969842
10.1007/978-1-4419-6984-2 doi
Computer science.
Software engineering.
Electronic data processing.
Artificial intelligence.
Computer Science.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Software Engineering.
Computing Methodologies.
QA76.758
005.1