Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

>> Google Books

Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

フォーマット:

電子ブック

責任表示:

edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 6814

書誌ID:

NB02223569

ISBN:

9783642223594 [3642223591]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-22359-4

所蔵情報

タイトルが類似している資料

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Communication Networks; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Computer Communication Networks LCSH : Software engineering LCSH : Logic design LCSH : Artificial intelligence FREE : Computer Science FREE : Artificial Intelligence (incl. Robotics) FREE : Software Engineering FREE : Logics and Meanings of Programs FREE : Mathematical Logic and Formal Languages FREE : Computer Communication Networks FREE : Programming Languages, Compilers, Interpreters
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings Dix, Jurgen, Leite, Joao, Governatori, Guido, Jamroga, Wojtek, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	7 電子ブック Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings Tratt, Laurence, Gogolla, Martin, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
2 電子ブック Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers Leite, Joao, Yolum, Pinar, Omicini, Andrea, Torroni, Paolo, SpringerLink (Online service) Springer-Verlag GmbH.	8 電子ブック Reliable Software Technologiey – Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, … Real, Jorge, Vardanega, Tullio, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
3 電子ブック Computational Logic in Multi-Agent Systems (vol. # 3487) : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and … Leite, Joao, Torroni, Paolo, SpringerLink (Online service) Springer-Verlag GmbH.	9 電子ブック Computational Logic in Multi-Agent Systems (vol. 3900) : 6th International Workshop CLIMA VI London UK June 27-292005 Revised Selected and Invited Papers Toni Francesca, Torroni Paolo, SpringerLink (Online service) Springer-Verlag GmbH.
4 電子ブック Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers Dix, Jürgen, Fisher, Michael, Novák, Peter, SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings Hutchison, David, Sudan, Madhu, Kittler, Josef, Alpuente, Maria, Kleinberg, Jon M., Kanade, Takeo, Mattern, Friedemann, … Springer-Verlag
5 電子ブック Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings Apel, Sven, Jackson, Ethan, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	11 電子ブック Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings Carro, Manuel, Pena, Ricardo, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
6 電子ブック Objects, Models, Components, Patterns : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings Vitek, Jan, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	12 電子ブック Agent-Oriented Software Engineering V : 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers Giorgini, Paolo, Odell, James, Muller, Jorg, P., SpringerLink (Online service) Springer-Verlag GmbH.