Cover Image

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Show other versions (1)
Bibliographic Details
Other Authors: Barendregt, H. P. (Hendrik Pieter), Nipkow, Tobias, 1958-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1994]
Series:Lecture notes in computer science ; 806.
Subjects:
Automatic theorem proving > Congresses.
Computer programs > Congresses.

Remote Storage

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