AI and expertise : heuristic search, inference engines, automatic proving /
39
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Chichester : Ellis Horwood,
1989
|
| Subjects: |
| _version_ | 1826389510675496960 |
|---|---|
| author | 394220 Farreny, Henri |
| author_facet | 394220 Farreny, Henri |
| author_sort | 394220 Farreny, Henri |
| collection | OCEAN |
| description | 39 |
| first_indexed | 2024-03-04T20:57:21Z |
| format | |
| id | KOHA-OAI-TEST:169522 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T20:57:21Z |
| publishDate | 1989 |
| publisher | Chichester : Ellis Horwood, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1695222020-12-19T17:04:34ZAI and expertise : heuristic search, inference engines, automatic proving / 394220 Farreny, Henri Chichester : Ellis Horwood,1989395999PSZJBLArtificial intelligenceProblem solvingHeuristic programmingURN:ISBN:0745804268 |
| spellingShingle | Artificial intelligence Problem solving Heuristic programming 394220 Farreny, Henri AI and expertise : heuristic search, inference engines, automatic proving / |
| title | AI and expertise : heuristic search, inference engines, automatic proving / |
| title_full | AI and expertise : heuristic search, inference engines, automatic proving / |
| title_fullStr | AI and expertise : heuristic search, inference engines, automatic proving / |
| title_full_unstemmed | AI and expertise : heuristic search, inference engines, automatic proving / |
| title_short | AI and expertise : heuristic search, inference engines, automatic proving / |
| title_sort | ai and expertise heuristic search inference engines automatic proving |
| topic | Artificial intelligence Problem solving Heuristic programming |
| work_keys_str_mv | AT 394220farrenyhenri aiandexpertiseheuristicsearchinferenceenginesautomaticproving |