Symbolic logic and mechanical theorem proving /
41
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
New York : Academic Press,
1973
|
| Subjects: |
| _version_ | 1796724114192334848 |
|---|---|
| author | 336504 Chang, Chin-Ling Lee, Char-Tung, Richard |
| author_facet | 336504 Chang, Chin-Ling Lee, Char-Tung, Richard |
| author_sort | 336504 Chang, Chin-Ling |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-05T07:40:16Z |
| format | |
| id | KOHA-OAI-TEST:383474 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-05T07:40:16Z |
| publishDate | 1973 |
| publisher | New York : Academic Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:3834742020-12-19T17:13:22ZSymbolic logic and mechanical theorem proving / 336504 Chang, Chin-Ling Lee, Char-Tung, Richard New York : Academic Press,197341PSZJBLLogic, Symbolic and mathematicalAutomatic theorem provingURN:ISBN:0121703509 |
| spellingShingle | Logic, Symbolic and mathematical Automatic theorem proving 336504 Chang, Chin-Ling Lee, Char-Tung, Richard Symbolic logic and mechanical theorem proving / |
| title | Symbolic logic and mechanical theorem proving / |
| title_full | Symbolic logic and mechanical theorem proving / |
| title_fullStr | Symbolic logic and mechanical theorem proving / |
| title_full_unstemmed | Symbolic logic and mechanical theorem proving / |
| title_short | Symbolic logic and mechanical theorem proving / |
| title_sort | symbolic logic and mechanical theorem proving |
| topic | Logic, Symbolic and mathematical Automatic theorem proving |
| work_keys_str_mv | AT 336504changchinling symboliclogicandmechanicaltheoremproving AT leechartungrichard symboliclogicandmechanicaltheoremproving |