Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Book Informaton
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Author

Stefano Berardi; Mario Coppo; Ferruccio Damiani

Series

Lecture Notes in Computer Science

Volume

3085

Year of Publication

2004

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

X, 412

Language

en

ISBN

9783540221647, 9783540248491, 3540221646

ARI Id

1664453431818

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 8 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Automatic theorem proving Computer programming Congresses