>> Google Books

Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

フォーマット:
電子ブック
責任表示:
edited by Jurgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
言語:
英語
出版情報:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
形態:
v.: digital
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 6245
書誌ID:
NB02221065
ISBN:
9783642149771 [3642149774]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/978-3-642-14977-1
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

Leite, João, Torroni, Paolo, Ågotnes, Thomas, Boella, Guido, Torre, Leon, SpringerLink (Online service)

Springer-Verlag GmbH Berlin Heidelberg
7 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Fermüller, Christian G., Voronkov, Andrei, SpringerLink (Online service)

Springer Berlin Heidelberg
2 電子ブック 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
8 電子ブック Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Leavens, Gary T., O’Hearn, Peter, Rajamani, Sriram K., 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 電子ブック Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

Hutchison, David, Vardi, Moshe Y., Siekmann, Jorg, Steffen, Bernhard, Sudan, Madhu, Kleinberg, Jon M., Terzopoulos, …

Springer Berlin Heidelberg
4 電子ブック Programming Multi-Agent Systems (vol. # 3346) : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers

Bordini, Rafael H., Dix, Jurgen, Dastani, Mehdi, Seghrouchni, Amal El Fallah, SpringerLink (Online service)

Springer-Verlag GmbH.
10 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected …

Clarke, Edmund M., Voronkov, Andrei, SpringerLink (Online service)

Springer Berlin Heidelberg
5 電子ブック Agent-Oriented Software Engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

Weyns, Danny, Gleizes, Marie-Pierre, SpringerLink (Online service)

Springer-Verlag GmbH Berlin Heidelberg
11 電子ブック Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Dawar, Anuj, Veith, Helmut, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
6 電子ブック 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.
12 電子ブック Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Touili, Tayssir, Cook, Byron, Jackson, Paul, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg