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
Search Result 1
Cover Image
Published 1996
Conference Proceeding Book
Show all versions (2)