Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Meyer, John-Jules Charles.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Specification and verification of multi-agent systems by: SpringerLink (Online service); Meyer, John-Jules Charles.; Hindriks, Koen V.; Dastani, Mehdi. (Electronic resources)

Subjects

Software Engineering. Artificial Intelligence (incl. Robotics) Software Engineering/Programming and Operating Systems. Computing Methodologies. Multiagent systems. Computer Science. Computer software- Verification. Mathematical Logic and Formal Languages.

Change password

Login