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

Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.] (eds.)

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

類似資料:

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

Springer

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

Springer

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

Springer-Verlag

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

Springer

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

Springer-Verlag

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

Springer

International Colloquium on Automata, Languages and Programming, Orejas, Fernando, Spirakis, P. G. (Paul G.), 1955-, …

Springer

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

Springer

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

Springer

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

Springer

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