>> Google Books
所蔵情報QRコード

Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer, c2000
形態:
193 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1956 <BA00009279>
著者名:
ISBN:
9783540415176 [3540415173]
書誌ID:
BA49939876
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

International Workshop on TYPES, Callaghan, Paul, Luo, Zhaohui, McKinna, James, Pollack, Robert

Springer
7 図書 Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers (: gw)

International Workshop on TYPES, Dybjer, Peter, Nordström, Bengt, Smith, Jan M

Springer-Verlag
2 図書 Types for proofs and programs : International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

International Workshop on TYPES, Geuvers, Herman, 1964-, Wiedijk, Freek, 1961-

Springer
8 図書 Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

International Workshop on TYPES, Berardi, Stefano, Coppo, Mario

Springer
3 図書 Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

International Workshop on TYPES, Altenkirch, Thorsten, 1962-, Naraschewski, Wolfgang, 1970-, Reus, Bernhard, 1965-

Springer
9 図書 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers (: gw ; : us)

International Workshop on TYPES, Barendregt, H. P. (Hendrik Pieter), 1947-, Nipkow, Tobias, 1958-

Springer-Verlag
4 図書 Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers

International Workshop on TYPES, Giménez, Eduardo, 1967-, Paulin-Mohring, Christine, 1962-

Springer
10 図書 Global computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004 : revised selected papers

International Workshop on Global Computing, Priami, Corrado, Quaglia, Paola

Springer
5 図書 Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

International Workshop on TYPES, Filliâtre, Jean-Christophe, Paulin-Mohring, Christine, 1962-, Werner, Benjamin

Springer
11 電子ブック Types for Proofs and Programs

TYPES '99, Coquand, Thierry, Dybjer, Peter, Nordström, Bengt, Smith, Jan

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
6 図書 Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers

International Workshop on TYPES, Berardi, Stefano, Coppo, Mario, Damiani, Ferruccio

Springer
12 図書 Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings

International Colloquium on Automata, Languages and Programming, Díaz, Josep, 1950-, Karhumäki, J, Lepistö, Arto, …

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12