Cover Image

Types for proofs and programs : international workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 ; selected papers /

Show other versions (1)
Bibliographic Details
Corporate Authors: SpringerLink (Online service), International Workshop TYPES, International Workshop Types for Proofs and Programs, TYPES
Other Authors: Berardi, Stefano
Format: Conference Proceeding eBook
Language:English
Published: Berlin [u.a.] : Springer, 1996.
Series:Lecture notes in computer science ; 1158.
Subjects:
Automatic theorem proving > Congresses.
Automatic theorem proving.
Typentheorie
Kongress
Turin <1995>
Beweistheorie
Benutzeroberfläche
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