Cover Image

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994 ; selected papers /

Show other versions (1)
Bibliographic Details
Corporate Authors: SpringerLink (Online service), International Workshop TYPES, International Workshop on Types for Proofs and Programs
Other Authors: Dybjer, Peter
Format: Conference Proceeding eBook
Language:English
Published: Berlin [u.a.] : Springer, 1995.
Series:Lecture notes in computer science ; 996.
Subjects:
Automatic theorem proving > Congresses.
Automatic theorem proving.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.A96
 
Call Number Status Get It
QA76.9.A96 Available