Logic, Language and Meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

>> Google Books

Logic, Language and Meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

フォーマット:

電子ブック

責任表示:

edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 6042

書誌ID:

NB02223947

ISBN:

9783642142871 [3642142877]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-14287-1

所蔵情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Appl. in Arts and Humanities; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Symbolic and Algebraic Manipulation
分類・件名:	LCSH : Computer science LCSH : Software engineering LCSH : Logic design LCSH : Algebra -- Data processing LCSH : Artificial intelligence LCSH : Information systems FREE : Computer Science FREE : Symbolic and Algebraic Manipulation FREE : Computer Appl. in Arts and Humanities FREE : Mathematical Logic and Formal Languages FREE : Artificial Intelligence (incl. Robotics) FREE : Logics and Meanings of Programs FREE : Software Engineering
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, … Larrosa, Javier, O’Sullivan, Barry, SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers Fiadeiro, Jose Luiz, Orejas, Fernando, Mosses, Peter, SpringerLink (Online service) Springer-Verlag GmbH.
2 電子ブック Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Hutchison, David, Nierstrasz, Oscar, Vardi, Moshe Y., Weikum, Gerhard, Sudan, Madhu, Hanus, Michael, Kanade, Takeo, … Springer Berlin Heidelberg	8 電子ブック Recent Trends in Algebraic Development Techniques : 18th International Workshop WADT 2006 La Roche en Ardenne Belgium June 1-32006 Revised Selected Papers Fiadeiro Jose Luiz, Schobbens Pierre-Yves, SpringerLink (Online service) Springer-Verlag
3 電子ブック Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers Escobar, Santiago, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	9 電子ブック Types for Proofs and Programs : International Workshop TYPES 2004 Jouy-en-Josas France December 15-182004 Revised Selected Papers Filliatre Jean-Christophe, Werner Benjamin, Paulin-Mohring Christine, SpringerLink (Online service) Springer-Verlag GmbH.
4 電子ブック Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers Mariño, Julio, SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Types for Proofs and Programs : International Workshop TYPES 2006 Nottingham UK April 18-212006 Revised Selected Papers Altenkirch Thorsten, McBride Conor, SpringerLink (Online service) Springer-Verlag
5 電子ブック 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	11 電子ブック 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
6 電子ブック Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers Schreye, Danny, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	12 電子ブック Implementation and Application of Functional Languages : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected … Morazán, Marco T., Scholz, Sven-Bodo, SpringerLink (Online service) Springer Berlin Heidelberg