An edition of Types for proofs and programs
(1996)
Types for proofs and programs
international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
by TYPES '95 (1995 Turin, Italy)
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Last edited by Open Library Bot
April 28, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Congresses, Automatic theorem provingShowing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science)
November 8, 1996, Springer
Paperback
in English
- 1 edition
3540617809 9783540617808
|
zzzz
Libraries near you:
WorldCat
|
2
Types for proofs and programs: international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
1996, Springer
in English
3540617809 9783540617808
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Published in
Berlin, New York
Edition Notes
Includes bibliographical references.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 13, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |