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

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>
書誌ID:
BA55870093
ISBN:
9783540432876 [3540432876]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

International Workshop on TYPES, Coquand, Thierry, 1961-

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

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

Springer-Verlag
2 図書 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
8 図書 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

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

Springer-Verlag
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 図書 Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

LPAR, Nieuwenhuis, Robert, Voronkov, A. (Andreĭ), 1959-

Springer
4 図書 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
10 図書 Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

International Conference on the Mathematics of Program Construction, Kozen, Dexter

Springer
5 図書 Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers

International Workshop on TYPES, Miculan, Marino, Scagnetto, Ivan, Honsell, Furio

Springer
11 図書 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

Proof Theory in Computer Science, Kahle, Reinhard, 1967-, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert F., &hellip;

Springer
6 図書 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
12 図書 Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers

International Workshop on Automated Deduction in Geometry, Wang, Dongming

Springer