>> Amazon.co.jp
このページのQRコード

Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

種類:
電子ブック
責任表示:
edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1995
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 902
ISBN:
9783540491781 [3540491783]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/BFb0014040
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 10 …

Dezani-Ciancaglini, Mariangiola., Plotkin, Gordon., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック International Symposium on Programming : 5th Colloquium Turin, April 6–8, 1982 Proceedings

Dezani-Ciancaglini, Mariangiola, Montanari, Ugo, SpringerLink (Online service)

Springer-Verlag
2 図書 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
8 電子ブック Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

Dybjer, Peter, Nordström, Bengt, Smith, Jan, SpringerLink (Online service)

Springer-Verlag
3 電子ブック 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
9 電子ブック Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Mycroft, Alan, SpringerLink (Online service)

Springer-Verlag
4 電子ブック 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
10 電子ブック Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Dowek, Gilles, Heering, Jan, Meinke, Karl, Möller, Bernhard, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Category Theory and Computer Science : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

Pitt, David, Rydeheard, David E., Johnstone, Peter, SpringerLink (Online service)

Springer-Verlag
11 電子ブック Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Montanari, Ugo, Rossi, Francesca, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Mathematical Foundations of Programming Semantics : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Brookes, Stephen, Main, Michael, Melton, Austin, Mislove, Michael, Schmidt, David, SpringerLink (Online service)

Springer-Verlag
12 電子ブック STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 Proceedings

Mayr, Ernst W., Puech, Claude, SpringerLink (Online service)

Springer-Verlag