Proof technology and computation /
57
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Amsterdam : IOS Press,
2006
|
| Subjects: |
| _version_ | 1826375732574552064 |
|---|---|
| author | NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) Schwichtenberg, Helmut, 1942- Spies, Katharina |
| author_facet | NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) Schwichtenberg, Helmut, 1942- Spies, Katharina |
| author_sort | NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T17:36:07Z |
| format | |
| id | KOHA-OAI-TEST:102527 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T17:36:07Z |
| publishDate | 2006 |
| publisher | Amsterdam : IOS Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1025272020-12-19T17:01:34ZProof technology and computation / NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) Schwichtenberg, Helmut, 1942- Spies, Katharina Amsterdam : IOS Press,2006eng575859PSZJBLAutomatic theorem provingComputer programmingComputer softwareURN:ISBN:1586036254 (hbk.)URN:ISBN:9781586036256 (hbk.) |
| spellingShingle | Automatic theorem proving Computer programming Computer software NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) Schwichtenberg, Helmut, 1942- Spies, Katharina Proof technology and computation / |
| title | Proof technology and computation / |
| title_full | Proof technology and computation / |
| title_fullStr | Proof technology and computation / |
| title_full_unstemmed | Proof technology and computation / |
| title_short | Proof technology and computation / |
| title_sort | proof technology and computation |
| topic | Automatic theorem proving Computer programming Computer software |
| work_keys_str_mv | AT natoadvancedstudyinstituteonprooftechnologyandcomputation2003marktoberdorfgermany prooftechnologyandcomputation AT schwichtenberghelmut1942 prooftechnologyandcomputation AT spieskatharina prooftechnologyandcomputation |