Cover Image

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /

Show other versions (1)
Bibliographic Details
Corporate Author: TYPES 2003 Torino, Italy
Other Authors: Berardi, Stefano, Coppo, Mario, Damiani, Ferruccio
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 3085.
Subjects:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
TYPES
Proofs
Programs
Online Access:http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3085

Internet

http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3085

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.A96 T96 2003
 
Call Number Status Get It
QA76.9.A96 T96 2003 Available