Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

>> Amazon.co.jp

このページのQRコード

Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

種類:

図書

責任表示:

Samson Abramsky (ed.)

出版情報:

Berlin ; Tokyo : Springer-Verlag, c2001

著者名:

シリーズ名:

Lecture notes in computer science ; 2044 <BA00009279>

ISBN:

9783540419600 [3540419608]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

主題:	Lambda calculus--Congresses
分類・件名:	NDC9 : 007 LCSH : Lambda calculus -- Congresses
LCCN:	01031431
TTLL:	eng
言語:	英語
形態:	xi, 429 p. : ill. ; 24 cm
書誌ID:	BA51819403

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Typed lambda calculi and applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10-12, 2003 : proceedings International Conference on Typed Lambda Calculi and Applications, Hofmann, Martin Springer
2 図書 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	8 電子ブック 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
3 図書 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	9 電子ブック 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
4 図書 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	10 電子ブック Multimedia Communications, Services and Security : 5th International Conference, MCSS 2012, Krakow, Poland, May 31--June 1, 2012. Proceedings Dziech, Andrzej., Czyzewski, Andrzej., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
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 : 8th international conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings Comon, Hubert, International Conference on Rewriting Techniques and Applications 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 図書 Fundamentals of computation theory : 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedings International FCT-Conference, Chlebus, Bogdan S., Czaja, Ludwik Springer