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) -
Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
by: Engels, Gregor
Published: (2010) -
Testing β Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
by: Bottaci, Leonardo
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)