語系
Verbrugge, Rineke.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Games, actions and social softwaremultidisciplinary aspects /
by:
Eijck, Jan van.; SpringerLink (Online service); Verbrugge, Rineke.
(書目-電子資源)
Models of strategic reasoninglogics, games, and communities /
by:
Ghosh, Sujata.; SpringerLink (Online service); Verbrugge, Rineke.; van Benthem, Johan.
(書目-電子資源)
Teamwork in multi-agent systemsa formal approach /
by:
Dunin-Keplicz, Barbara.; Verbrugge, Rineke.; Wiley InterScience (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Software engineering.
User Interfaces and Human Computer Interaction.
Formal methods (Computer science)
Games of strategy (Mathematics)
Social media.
Computer Communication Networks.
Computer Science.
Simulation and Modeling.
Intelligent agents (Computer software)
Artificial intelligence.