Typed lambda calculi and applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10-12, 2003 : proceedings | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Typed lambda calculi and applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10-12, 2003 : proceedings

種類:

図書

責任表示:

Martin Hofmann (ed.)

出版情報:

Berlin ; Tokyo : Springer, c2003

著者名:

シリーズ名:

Lecture notes in computer science ; 2701 <BA00009279>

ISBN:

9783540403326 [3540403329]

注記:

Includes bibliographical references and index

所蔵情報

Loading availability information

子書誌情報

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

詳細

主題:	総記--情報学．情報科学
TTLL:	eng
言語:	英語
形態:	viii, 315 p. : ill. ; 24 cm
書誌ID:	BA62444685

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April … International Conference on Typed Lambda Calculi Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, G. (Gordon), … Springer-Verlag	7 図書 Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings International Conference on Typed Lambda Calculi and Applications, Girard, Jean-Yves Springer-Verlag
2 電子ブック Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April … Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon, SpringerLink (Online service) Springer-Verlag	8 図書 Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings International Conference on Typed Lambda Calculi and Applications, Abramsky, Samson, 1953- Springer-Verlag
3 電子ブック Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 … Dezani-Ciancaglini, Mariangiola., Plotkin, Gordon., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 図書 Advances in cryptology - ASIACRYPT 2009 : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, … International Conference on the Theory and Application of Cryptology, Matsui, Mitsuru Springer
4 図書 Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : … International Conference on Typed Lambda Calculi Applications, Groote, Philippe de, Hindley, J. Roger Springer-Verlag	10 図書 Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, … International Conference on Typed Lambda Calculi Applications, Bezem, M. (Marc), 1956-, Groote, J. F. (Jan Frisco), … Springer-Verlag
5 電子ブック Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands … Bezem, Marc, Groote, Jan Friso, SpringerLink (Online service) Springer-Verlag	11 図書 Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings International Conference on Rewriting Techniques and Applications, Nieuwenhuis, Robert Springer
6 電子ブック Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The … Bezem, Marc., Groote, Jan F., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 図書 Graph transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : Proceedings International Conference on Graph Transformation, Corradini, Andrea Springer