Home Advanced Search

Advanced Search - Page 1

Specification and Verification of Multi-agent Systems
  • PDF
  • English
  • Year: 2010
  • Author: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer
Specification and Verification of Multi-agent Systems
  • PDF
  • English
  • Year: 2010
  • Author: N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (eds.)
Specification and Verification of Multi-agent Systems
  • PDF
  • English
  • Year: 2010
  • Author: N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (eds.)
Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: M. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer (auth.), João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum (eds.)
Closed Object Boundaries from Scattered Points
  • DJVU
  • English
  • Year: 1994
  • Author: Remco C. Veltkamp (auth.)