Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
| Main Author: | Dix, JΓΌrgen |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Leite, JoΓo, Governatori, Guido, Jamroga, Wojtek |
| Format: | Electronic Kit Book |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
| Series: | Lecture Notes in Computer Science
6245 |
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-642-14977-1 |
Similar Items
-
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
by: Dix, JΓΌrgen
Published: (2010) -
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
by: Touili, Tayssir
Published: (2010) -
Reliable Software Technologiey β Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
by: Real, Jorge
Published: (2010) -
Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
by: Engels, Gregor
Published: (2010) -
Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
by: Hatcliff, John
Published: (2010)