Login / Signup
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques.
Bruno Courcelle
Jean Vuillemin
Published in:
Symposium on Programming (1974)
Keyphrases
</>
multi agent systems
ieee trans
cooperative
multiagent systems
multi agent
complex systems
neural network
cognitive agents
intelligent agents
agents and multi agent systems
agent communication
agent systems
agent technology
autonomous agents
social networks
software engineering
feature selection
information systems