PRIMA 2017: Principles and Practice of Multi-Agent Systems

QR Code

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	An, Bo, Bazzan, Ana, Leite, João, Villata, Serena, Torre, Leendert van der
Format:	Livre
Langue:	English
Publié:	Springer International Publishing 2020
Sujets:	Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs
Accès en ligne:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81490
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Documents similaires

AI*IA 2017 Advances in Artificial Intelligence
par: Esposito, Floriana, et autres
Publié: (2020)

PRIMA 2018: Principles and Practice of Multi-Agent Systems
par: Miller, Tim, et autres
Publié: (2020)

Provably Correct Systems. 1st ed. 2017
par: Hinchey, Mike, et autres
Publié: (2020)

Implementation and Application of Automata. 1st ed. 2017
par: Carayol, Arnaud, et autres
Publié: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
par: Antonucci, Alessandro, et autres
Publié: (2020)

Algebraic Biology
par: Anai, Hirokazu, et autres
Publié: (2020)

Rewriting, Computation and Proof
par: Comon-Lundh, Hubert, et autres
Publié: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
par: Vojnar, Tomáš, et autres
Publié: (2020)

Interactive Theorem Proving
par: Ayala-Rincón, Mauricio, et autres
Publié: (2020)

Automated Deduction - CADE-21
par: Pfenning, Frank
Publié: (2020)

Frontiers of Combining Systems
par: Dixon, Clare, et autres
Publié: (2020)

Verification of Object-Oriented Software. The KeY Approach
par: Beckert, Bernhard, et autres
Publié: (2020)

Developments in Language Theory
par: Hoshi, Mizuho, et autres
Publié: (2020)

Formal Methods in Software and Systems Modeling
Publié: (2020)

Scalable Uncertainty Management
par: Moral, Serafín, et autres
Publié: (2020)

Automated Deduction – CADE-20
par: Nieuwenhuis, Robert
Publié: (2020)

Relational and Algebraic Methods in Computer Science
par: Desharnais, Jules, et autres
Publié: (2020)

Automated Reasoning
par: Galmiche, Didier, et autres
Publié: (2020)

Recent Trends in Algebraic Development Techniques
par: James, Phillip, et autres
Publié: (2020)

Intelligent Computer Mathematics
par: Geuvers, Herman, et autres
Publié: (2020)

Logic Programming and Nonmonotonic Reasoning
par: Balduccini, Marcello, et autres
Publié: (2020)

Decision Procedures
par: Kroening, Daniel, et autres
Publié: (2020)

Automated Deduction – CADE 26
par: Moura, Leonardo de
Publié: (2020)

Implementation and Application of Automata
par: Câmpeanu, Cezar
Publié: (2020)

Logic and Its Applications
Publié: (2020)

Foundations of Software Science and Computational Structures
Publié: (2020)

Coalgebraic Methods in Computer Science
par: Cîrstea, Corina
Publié: (2020)

Algebraic Biology
Publié: (2020)

Foundations of Software Science and Computation Structures
Publié: (2020)

Computational Logic in Multi-Agent Systems
Publié: (2020)

Deontic Logic in Computer Science
par: Meyden, Ron van der, et autres
Publié: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
par: Pighizzini, Giovanni, et autres
Publié: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
par: Artemov, Sergei, et autres
Publié: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
par: Ayala-Rincón, Mauricio, et autres
Publié: (2020)

Correct Reasoning
par: Erdem, Esra, et autres
Publié: (2020)

Developments in Language Theory
par: Hofman, Piotrek, et autres
Publié: (2020)

Models of Strategic Reasoning
par: Benthem, Johan van, et autres
Publié: (2020)

Formal Grammar
par: Bernardi, Raffaella, et autres
Publié: (2020)

Principles and Practice of Constraint Programming
par: Hooker, John
Publié: (2020)

Principles and Practice of Constraint Programming
par: Beck, J. Christopher
Publié: (2020)