Logic and the Foundations of Game and Decision Theory ? LOFT 8 : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

>> Google Books

Logic and the Foundations of Game and Decision Theory ? LOFT 8 : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

フォーマット:

電子ブック

責任表示:

edited by Giacomo Bonanno, Benedikt Lowe, Wiebe Hoek

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 6006

書誌ID:

NB02221054

ISBN:

9783642151644 [3642151647]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Computation by Abstract Devices; Computer Science; Discrete Mathematics in Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematics of Computing; Theory of Computation
分類・件名:	LCSH : Computer science LCSH : Information theory LCSH : Logic design LCSH : Computational complexity FREE : Computer Science FREE : Mathematical Logic and Formal Languages FREE : Logics and Meanings of Programs FREE : Discrete Mathematics in Computer Science FREE : Computation by Abstract Devices FREE : Theory of Computation FREE : Mathematics of Computing
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers Corradini, Andrea, Montanari, Ugo, SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Ludics, Dialogue and Interaction : PRELUDE Project - 2006-2009. Revised Selected Papers Lecomte, Alain, Tronçon, Samuel, SpringerLink (Online service) Springer Berlin Heidelberg
2 電子ブック The Mathematics of Language : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, … Ebert, Christian, Jager, Gerhard, Michaelis, Jens, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	8 電子ブック Theory and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings Ogihara, Mitsunori, Tarui, Jun, SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers Archibald, Margaret, Brattka, Vasco, Goranko, Valentin, Lowe, Benedikt, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	9 電子ブック Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings Hutchison, David, Kleinberg, Jon M., Pandu Rangan, C., Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg
4 電子ブック Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers Hutchison, David, Kleinberg, Jon M., Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, … Springer-Verlag	10 電子ブック New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings Cooper, Barry S., Lowe, Benedikt, SpringerLink (Online service) Springer-Verlag GmbH.
5 電子ブック Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Fisher, Michael, Thielscher, Michael, Sadri, Fariba, SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Computer Science – Theory and Applications : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings Ablayev, Farid, Mayr, Ernst W., SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
6 電子ブック Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings Governatori, Guido, Sartor, Giovanni, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	12 電子ブック Implementation and Application of Automata : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers Domaratzki, Michael, Salomaa, Kai, SpringerLink (Online service) Springer Berlin Heidelberg