Cover Image

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /

Show other versions (1)
Bibliographic Details
Corporate Author: TYPES 2000 Durham, England
Other Authors: Callaghan, Paul, 1970-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science. 2277.
Subjects:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
Online Access:http://link.springer-ny.com/link/service/series/0558/tocs/t2277.htm

Internet

http://link.springer-ny.com/link/service/series/0558/tocs/t2277.htm

Remote Storage

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