Verbrugge, Rineke.
概要
作品: | 0 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Models of strategic reasoning = logics, games, and communities /
by:
van Benthem, Johan.; Ghosh, Sujata.; Verbrugge, Rineke.; SpringerLink (Online service)
(書目-電子資源)
Games, actions and social software = multidisciplinary aspects /
by:
Eijck, Jan van.; Verbrugge, Rineke.; SpringerLink (Online service)
(書目-電子資源)
Teamwork in multi-agent systems = a 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.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Software engineering.
User Interfaces and Human Computer Interaction.
Formal methods (Computer science)
Games of strategy (Mathematics)
Social media.
Computer Science.
Simulation and Modeling.
Computer Communication Networks.
Intelligent agents (Computer software)
Artificial intelligence.