Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
PSZJBL
| Main Authors: | , , , |
|---|---|
| Format: | |
| Sprog: | eng |
| Udgivet: |
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,
2007
|
| Fag: | |
| Online adgang: | http://dx.doi.org/10.1007/978-3-540-74464-1 |
| _version_ | 1826442485634695168 |
|---|---|
| author | TYPES `98 (2006 : Nottingham, UK) Altenkirch, Thorsten McBride, Conor SpringerLink (Online service) |
| author_facet | TYPES `98 (2006 : Nottingham, UK) Altenkirch, Thorsten McBride, Conor SpringerLink (Online service) |
| author_sort | TYPES `98 (2006 : Nottingham, UK) |
| collection | OCEAN |
| description | PSZJBL |
| first_indexed | 2024-03-05T09:59:31Z |
| format | |
| id | KOHA-OAI-TEST:429971 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T09:59:31Z |
| publishDate | 2007 |
| publisher | Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4299712020-12-19T17:15:21ZTypes for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / TYPES `98 (2006 : Nottingham, UK) Altenkirch, Thorsten McBride, Conor SpringerLink (Online service) e-books Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,2007.engPSZJBLAutomatic theorem provingComputer programmingSpringer e-bookshttp://dx.doi.org/10.1007/978-3-540-74464-1URN:ISBN:9783540744641 (electronic bk.)Remote access restricted to users with a valid UTM ID via VPN |
| spellingShingle | Automatic theorem proving Computer programming TYPES `98 (2006 : Nottingham, UK) Altenkirch, Thorsten McBride, Conor SpringerLink (Online service) Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / |
| title | Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / |
| title_full | Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / |
| title_fullStr | Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / |
| title_full_unstemmed | Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / |
| title_short | Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / |
| title_sort | types for proofs and programs electronic resource international workshop types 2006 nottingham uk april 18 21 2006 revised selected papers |
| topic | Automatic theorem proving Computer programming |
| url | http://dx.doi.org/10.1007/978-3-540-74464-1 |
| work_keys_str_mv | AT types982006nottinghamuk typesforproofsandprogramselectronicresourceinternationalworkshoptypes2006nottinghamukapril18212006revisedselectedpapers AT altenkirchthorsten typesforproofsandprogramselectronicresourceinternationalworkshoptypes2006nottinghamukapril18212006revisedselectedpapers AT mcbrideconor typesforproofsandprogramselectronicresourceinternationalworkshoptypes2006nottinghamukapril18212006revisedselectedpapers AT springerlinkonlineservice typesforproofsandprogramselectronicresourceinternationalworkshoptypes2006nottinghamukapril18212006revisedselectedpapers |