The classical decision problem /
41
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer,
2001
|
| Subjects: |
| _version_ | 1826414860762611712 |
|---|---|
| author | Borger, E. (Egon), 1946- Gradel, Erich, 1958- Gurevich, Yuri |
| author_facet | Borger, E. (Egon), 1946- Gradel, Erich, 1958- Gurevich, Yuri |
| author_sort | Borger, E. (Egon), 1946- |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-05T03:06:38Z |
| format | |
| id | KOHA-OAI-TEST:292433 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T03:06:38Z |
| publishDate | 2001 |
| publisher | Berlin : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2924332020-12-19T17:09:34ZThe classical decision problem / Borger, E. (Egon), 1946- Gradel, Erich, 1958- Gurevich, Yuri Berlin : Springer,2001eng41PSZJBLDecidability (Mathematical logic)URN:ISBN:9783540423249 (pbk.)URN:ISBN:3540423249 (pbk.) |
| spellingShingle | Decidability (Mathematical logic) Borger, E. (Egon), 1946- Gradel, Erich, 1958- Gurevich, Yuri The classical decision problem / |
| title | The classical decision problem / |
| title_full | The classical decision problem / |
| title_fullStr | The classical decision problem / |
| title_full_unstemmed | The classical decision problem / |
| title_short | The classical decision problem / |
| title_sort | classical decision problem |
| topic | Decidability (Mathematical logic) |
| work_keys_str_mv | AT borgereegon1946 theclassicaldecisionproblem AT gradelerich1958 theclassicaldecisionproblem AT gurevichyuri theclassicaldecisionproblem AT borgereegon1946 classicaldecisionproblem AT gradelerich1958 classicaldecisionproblem AT gurevichyuri classicaldecisionproblem |