Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Book Informaton
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Author

Jean-Christophe Filliatre; Christine Paulin-Mohring; Benjamin Werner

Series

Lecture Notes in Computer Science

Volume

3839

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Pages

VIII, 280

Language

en

ISBN

9783540314288, 9783540314295

ARI Id

1664722646901

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 3 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Congresses Computer programming Automatic theorem proving Logic design Data processing Computer science Artificial intelligence Algebra