1
0
0
(1 - 16 von 20
)
bokus.com: Alessio Lomuscio - Böcker | Bokus bokhandel
Köp böcker av Alessio Lomuscio hos Bokus med fri frakt och snabb leverans. Här hittar du de senaste och mest populära böckerna till bra pris!
Deontic Logic in Computer Science von Alessio Lomuscio / Donald Nute...
www.buecher.de
This book constitutes the refereed proceedings of the 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, held in Madeira, Portugal, in...
Alessio Lomuscio on Apple Books
books.apple.com
Preview and download books by Alessio Lomuscio, including Model Checking and Artificial Intelligence.
DEON Alessio Lomuscio - Google Books
books.google.de
This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON ...
Decidability of Parameterized Verification - Roderick Bloem, Swen...
books.google.de
136, 139 Panagiotis Kouvaros and Alessio Lomuscio. Automatic verification of parameterised multi-agent systems. In AAMAS, pages 861–868, 2013a.
Formal Approaches to Agent-Based Systems: Third International...
books.google.de
Franco Raimondi and Alessio Lomuscio Department of Computer Science, King's College London, London, UK {franco, .ac.uk Abstract.
bokus.com: Deontic Logic in Computer Science - Alessio Lomuscio, Donald Nute -...
Pris: 899 kr. Häftad, Skickas inom vardagar. Köp Deontic Logic in Computer Science av Alessio Lomuscio, Donald Nute på Bokus.com.
DEON Alessio Lomuscio - Google Книги
books.google.ru
This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promotes research in the ...
Deontic Logic in Computer Science - Alessio Lomuscio;...
www.eurobuch.at
Deontic Logic in Computer Science. Finden Sie alle Bücher von Alessio Lomuscio; Donald Nute. Bei der Büchersuchmaschine eurobuch.at können Sie antiquarische...
Declarative Agent Languages and Technologies III: Third International...
books.google.de
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results⋆ Alessio Lomuscio and Bo ̇zena Wo ́zna Department of Computer Science, University College London, Gower Street, London WC1E 6BT, United Kingdom {A.Lomuscio, .ac.uk Abstract.
Model Checking and Artificial Intelligence on Apple Books
books.apple.com
This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del...
Languages, Methodologies, and Development Tools for Multi-Agent...
books.google.de
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools...
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV,...
books.google.de
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are...
Multi-Agent-Based Simulation XV: International Workshop, MABS 2014,...
books.google.de
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Multi-Agent-Based Simulation, MABS 2014, held...
Verwandte Suchanfragen zu Alessio Lomuscio
|
Personen Vorname "Alessio" (1309) Name "Lomuscio" (16) |
sortiert nach Relevanz / Datum