PRIMA 2017: Principles and Practice of Multi-Agent Systems

QR kód

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	An, Bo, Bazzan, Ana, Leite, João, Villata, Serena, Torre, Leendert van der
Médium:	Kniha
Jazyk:	English
Vydáno:	Springer International Publishing 2020
Témata:	Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs
On-line přístup:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81490
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

AI*IA 2017 Advances in Artificial Intelligence
Autor: Esposito, Floriana, a další
Vydáno: (2020)

PRIMA 2018: Principles and Practice of Multi-Agent Systems
Autor: Miller, Tim, a další
Vydáno: (2020)

Provably Correct Systems. 1st ed. 2017
Autor: Hinchey, Mike, a další
Vydáno: (2020)

Implementation and Application of Automata. 1st ed. 2017
Autor: Carayol, Arnaud, a další
Vydáno: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Autor: Antonucci, Alessandro, a další
Vydáno: (2020)

Algebraic Biology
Autor: Anai, Hirokazu, a další
Vydáno: (2020)

Rewriting, Computation and Proof
Autor: Comon-Lundh, Hubert, a další
Vydáno: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Autor: Vojnar, Tomáš, a další
Vydáno: (2020)

Interactive Theorem Proving
Autor: Ayala-Rincón, Mauricio, a další
Vydáno: (2020)

Automated Deduction - CADE-21
Autor: Pfenning, Frank
Vydáno: (2020)

Frontiers of Combining Systems
Autor: Dixon, Clare, a další
Vydáno: (2020)

Verification of Object-Oriented Software. The KeY Approach
Autor: Beckert, Bernhard, a další
Vydáno: (2020)

Developments in Language Theory
Autor: Hoshi, Mizuho, a další
Vydáno: (2020)

Formal Methods in Software and Systems Modeling
Vydáno: (2020)

Scalable Uncertainty Management
Autor: Moral, Serafín, a další
Vydáno: (2020)

Automated Deduction – CADE-20
Autor: Nieuwenhuis, Robert
Vydáno: (2020)

Relational and Algebraic Methods in Computer Science
Autor: Desharnais, Jules, a další
Vydáno: (2020)

Automated Reasoning
Autor: Galmiche, Didier, a další
Vydáno: (2020)

Recent Trends in Algebraic Development Techniques
Autor: James, Phillip, a další
Vydáno: (2020)

Intelligent Computer Mathematics
Autor: Geuvers, Herman, a další
Vydáno: (2020)

Logic Programming and Nonmonotonic Reasoning
Autor: Balduccini, Marcello, a další
Vydáno: (2020)

Decision Procedures
Autor: Kroening, Daniel, a další
Vydáno: (2020)

Automated Deduction – CADE 26
Autor: Moura, Leonardo de
Vydáno: (2020)

Implementation and Application of Automata
Autor: Câmpeanu, Cezar
Vydáno: (2020)

Logic and Its Applications
Vydáno: (2020)

Foundations of Software Science and Computational Structures
Vydáno: (2020)

Coalgebraic Methods in Computer Science
Autor: Cîrstea, Corina
Vydáno: (2020)

Algebraic Biology
Vydáno: (2020)

Foundations of Software Science and Computation Structures
Vydáno: (2020)

Computational Logic in Multi-Agent Systems
Vydáno: (2020)

Deontic Logic in Computer Science
Autor: Meyden, Ron van der, a další
Vydáno: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
Autor: Pighizzini, Giovanni, a další
Vydáno: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
Autor: Artemov, Sergei, a další
Vydáno: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
Autor: Ayala-Rincón, Mauricio, a další
Vydáno: (2020)

Correct Reasoning
Autor: Erdem, Esra, a další
Vydáno: (2020)

Developments in Language Theory
Autor: Hofman, Piotrek, a další
Vydáno: (2020)

Models of Strategic Reasoning
Autor: Benthem, Johan van, a další
Vydáno: (2020)

Formal Grammar
Autor: Bernardi, Raffaella, a další
Vydáno: (2020)

Principles and Practice of Constraint Programming
Autor: Hooker, John
Vydáno: (2020)

Principles and Practice of Constraint Programming
Autor: Beck, J. Christopher
Vydáno: (2020)