Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
PSZJBL
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,
2007
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-540-73595-3 |
| _version_ | 1826442399041191936 |
|---|---|
| author | International Conference on Automated Deduction (21st : 2007 : Bremen, Germany) Pfenning, Frank SpringerLink (Online service) |
| author_facet | International Conference on Automated Deduction (21st : 2007 : Bremen, Germany) Pfenning, Frank SpringerLink (Online service) |
| author_sort | International Conference on Automated Deduction (21st : 2007 : Bremen, Germany) |
| collection | OCEAN |
| description | PSZJBL |
| first_indexed | 2024-03-05T09:58:15Z |
| format | |
| id | KOHA-OAI-TEST:429549 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T09:58:15Z |
| publishDate | 2007 |
| publisher | Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4295492020-12-19T17:15:20ZAutomated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / International Conference on Automated Deduction (21st : 2007 : Bremen, Germany) Pfenning, Frank SpringerLink (Online service) e-books Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,2007.engPSZJBLAutomatic theorem provingLogic, Symbolic and mathematicalSpringer e-bookshttp://dx.doi.org/10.1007/978-3-540-73595-3URN:ISBN:9783540735953 (electronic bk.)Remote access restricted to users with a valid UTM ID via VPN |
| spellingShingle | Automatic theorem proving Logic, Symbolic and mathematical International Conference on Automated Deduction (21st : 2007 : Bremen, Germany) Pfenning, Frank SpringerLink (Online service) Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / |
| title | Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / |
| title_full | Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / |
| title_fullStr | Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / |
| title_full_unstemmed | Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / |
| title_short | Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / |
| title_sort | automated deduction cade 21 electronic resource 21st international conference on automated deduction bremen germany july 17 20 2007 proceedings |
| topic | Automatic theorem proving Logic, Symbolic and mathematical |
| url | http://dx.doi.org/10.1007/978-3-540-73595-3 |
| work_keys_str_mv | AT internationalconferenceonautomateddeduction21st2007bremengermany automateddeductioncade21electronicresource21stinternationalconferenceonautomateddeductionbremengermanyjuly17202007proceedings AT pfenningfrank automateddeductioncade21electronicresource21stinternationalconferenceonautomateddeductionbremengermanyjuly17202007proceedings AT springerlinkonlineservice automateddeductioncade21electronicresource21stinternationalconferenceonautomateddeductionbremengermanyjuly17202007proceedings |