Automated reasoning : 33 basic research problems /
57
Main Author: | |
---|---|
Format: | |
Published: |
Englewood Cliffs, N.J. : Prentice Hall,
1988
|
Subjects: |
_version_ | 1826376063945539584 |
---|---|
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 |