Automated reasoning : introduction and applications /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Englewood Cliffs, N.J. : Prentice-Hall,
1984
|
| Subjects: |
| _version_ | 1826362808967626752 |
|---|---|
| author | Wos, Larry |
| author_facet | Wos, Larry |
| author_sort | Wos, Larry |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T14:25:29Z |
| format | |
| id | KOHA-OAI-TEST:39040 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T14:25:29Z |
| publishDate | 1984 |
| publisher | Englewood Cliffs, N.J. : Prentice-Hall, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:390402020-12-19T16:57:28ZAutomated reasoning : introduction and applications / Wos, Larry Englewood Cliffs, N.J. : Prentice-Hall,1984575859PSZKLLAutomatic theorem provingArtificial intelligenceElectronic digital computersURN:ISBN:0130544469 |
| spellingShingle | Automatic theorem proving Artificial intelligence Electronic digital computers Wos, Larry Automated reasoning : introduction and applications / |
| title | Automated reasoning : introduction and applications / |
| title_full | Automated reasoning : introduction and applications / |
| title_fullStr | Automated reasoning : introduction and applications / |
| title_full_unstemmed | Automated reasoning : introduction and applications / |
| title_short | Automated reasoning : introduction and applications / |
| title_sort | automated reasoning introduction and applications |
| topic | Automatic theorem proving Artificial intelligence Electronic digital computers |
| work_keys_str_mv | AT woslarry automatedreasoningintroductionandapplications |