Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
57
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer,
2004
|
| Subjects: |
| _version_ | 1796659536919003136 |
|---|---|
| author | 183708 Bertot, Yves Casteran, P. (Pierre) |
| author_facet | 183708 Bertot, Yves Casteran, P. (Pierre) |
| author_sort | 183708 Bertot, Yves |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T16:04:38Z |
| format | |
| id | KOHA-OAI-TEST:71948 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T16:04:38Z |
| publishDate | 2004 |
| publisher | Berlin : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:719482020-12-19T17:00:04ZInteractive theorem proving and program development : Coq'Art : the calculus of inductive constructions / 183708 Bertot, Yves Casteran, P. (Pierre) Berlin : Springer,2004eng575859PSZJBLAutomatic theorem provingComputer programmingURN:ISBN:3540208542 (hbk.) |
| spellingShingle | Automatic theorem proving Computer programming 183708 Bertot, Yves Casteran, P. (Pierre) Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / |
| title | Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / |
| title_full | Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / |
| title_fullStr | Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / |
| title_full_unstemmed | Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / |
| title_short | Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / |
| title_sort | interactive theorem proving and program development coq art the calculus of inductive constructions |
| topic | Automatic theorem proving Computer programming |
| work_keys_str_mv | AT 183708bertotyves interactivetheoremprovingandprogramdevelopmentcoqartthecalculusofinductiveconstructions AT casteranppierre interactivetheoremprovingandprogramdevelopmentcoqartthecalculusofinductiveconstructions |