Typed lambda calculi and applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings | 三重大学附属図書館 OPAC

>> Google Books

タイトル、所在を表示します

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

フォーマット:

図書

責任表示:

Martin Hofmann (ed.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

viii, 315 p. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2701 <BA00009279>

書誌ID:

BA62444685

ISBN:

9783540403326 [3540403329]

子書誌情報

所蔵情報

Loading availability information

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

詳細

資料形態(詳細):	Text
主題:	電気工学--電子工学
注記:	Includes bibliographical references and index
登録日:	2003-10-27

類似資料:

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 図書 Term rewriting and applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings International Conference on Rewriting Techniques and Applications, Baader, Franz Springer
2 図書 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	8 図書 Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings International Conference on Rewriting Techniques and Applications, Pfenning, Frank Springer
3 図書 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 and Applications, De Groote, Philippe, Hindley, J. Roger Springer-Verlag	9 図書 Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings International Conference on Integrated Formal Methods, Davies, Jim, 1964-, Gibbons, Jeremy Springer
4 図書 Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings International Conference on Typed Lambda Calculi and Applications, Urzyczyn, Paweł Springer	10 図書 Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings International Conference on Rewriting Techniques and Applications, Giesl, Jürgen Springer
5 図書 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	11 図書 Automata, languages and programming : 37th International Colloquium, ICALP 2010 Bordeaux, France, July 6-10, 2010 : proceedings International Colloquium on Automata, Languages and Programming, Abramsky, Samson, 1953- Springer
6 図書 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	12 図書 Computational plasticity : models, software and applications : proceedings of the international conference held in Barcelona, Spain, 6th-10th April, 1987 Owen, D. R. J., Hinton, Ernest, Oñate, E., International Conference on Computational Plasticity Pineridge Press