Automated reasoning : 33 basic research problems /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Englewood Cliffs, N.J. : Prentice Hall,
1988
|
| Subjects: |
| _version_ | 1796666062429749248 |
|---|---|
| author | 227665 Wos, Larry |
| author_facet | 227665 Wos, Larry |
| author_sort | 227665 Wos, Larry |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T17:41:01Z |
| format | |
| id | KOHA-OAI-TEST:104163 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T17:41:01Z |
| publishDate | 1988 |
| publisher | Englewood Cliffs, N.J. : Prentice Hall, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1041632020-12-19T17:01:37ZAutomated reasoning : 33 basic research problems / 227665 Wos, Larry Englewood Cliffs, N.J. : Prentice Hall,1988575859PSZKLLAutomatic theorem provingArtificial intelligenceElectronic digital computersURN:ISBN:013054552X |
| spellingShingle | Automatic theorem proving Artificial intelligence Electronic digital computers 227665 Wos, Larry Automated reasoning : 33 basic research problems / |
| title | Automated reasoning : 33 basic research problems / |
| title_full | Automated reasoning : 33 basic research problems / |
| title_fullStr | Automated reasoning : 33 basic research problems / |
| title_full_unstemmed | Automated reasoning : 33 basic research problems / |
| title_short | Automated reasoning : 33 basic research problems / |
| title_sort | automated reasoning 33 basic research problems |
| topic | Automatic theorem proving Artificial intelligence Electronic digital computers |
| work_keys_str_mv | AT 227665woslarry automatedreasoning33basicresearchproblems |