Verbrugge, Rineke.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Models of strategic reasoning = logics, games, and communities /
by:
van Benthem, Johan.; Ghosh, Sujata.; Verbrugge, Rineke.; SpringerLink (Online service)
(Electronic resources)
Games, actions and social software = multidisciplinary aspects /
by:
Eijck, Jan van.; Verbrugge, Rineke.; SpringerLink (Online service)
(Electronic resources)
Teamwork in multi-agent systems = a formal approach /
by:
Dunin-Keplicz, Barbara.; Verbrugge, Rineke.; Wiley InterScience (Online service)
(Electronic resources)
Subjects
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.