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

Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c1999
形態:
viii, 207 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1657 <BA00009279>
著者名:
ISBN:
9783540665373 [3540665374]
書誌ID:
BA43539809
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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, Callaghan, Paul, Luo, Zhaohui, McKinna, James, Pollack, Robert

Springer

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

Springer-Verlag

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

Springer

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

Springer

10 電子ブック Types for Proofs and Programs

Altenkirch, Thorsten, Kanade, Takeo, McBride, Conor

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer

International Workshop on the ACL2 Theorem Prover and Its Applications

Association for Computing Machinery

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

Springer

Workshop on Computer Science Logic, Gottlob, Georg, 1956-, Grandjean, E., 1914-, Seyr, Katrin

Springer

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