Logic for problem solving
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Livre papier |
| Taal: | Anglais |
| Gepubliceerd in: |
New York ; Amsterdam ; Oxford :
North-Holland
C 1979.
|
| Reeks: | Artificial intelligence series
7 The Computer science library |
| Onderwerpen: | |
| Opmerking: |
Autre tirage : 1983 |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 01743nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 413470 | ||
| 008 | 990302t19791979xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN004937546 | ||
| 020 | |a 0444003657 (rel.) | ||
| 020 | |a 0444003681 (br.) | ||
| 041 | 0 | |a eng | |
| 080 | |a 685.41 | ||
| 082 | |a 519.7 | ||
| 082 | |a 519 | ||
| 084 | |a 68-02. 2000 | ||
| 084 | |a 68N99. 2000 | ||
| 084 | |a 68T15. 2000 | ||
| 084 | |a 68T20. 2000 | ||
| 084 | |a 68Q65. 2000 | ||
| 084 | |a 68P20. 2000 | ||
| 084 | |a 00A15. 2000 | ||
| 100 | 1 | |a Kowalski, Robert A. | |
| 245 | 1 | 0 | |a Logic for problem solving |c Robert Kowalski,... |
| 260 | |a New York ; |a Amsterdam ; |a Oxford : |b North-Holland. | ||
| 260 | |c C 1979. | ||
| 300 | |a 1 volume (287 pages) : |b illustrations ; |c 24 cm. | ||
| 490 | 1 | |a Artificial intelligence series |v 7 | |
| 490 | 1 | |a The Computer science library | |
| 500 | |a Autre tirage : 1983 | ||
| 504 | |a Bibliographie p. 247-260. Index | ||
| 505 | 0 | |a 1, Introduction -- 2, Representation in clausal form -- 3, Top-down and bottom-up horn clause proof procedures -- 4, Horn clause problem-solving -- 5, The procedural interpretation of Horn clause -- 6, Plan-formation and the frame problem -- 7, Resolution -- 8, The connection graph proof procedure -- 9, Global problem-solving strategies -- 10, Comparison of clausal form with standard form -- 11, If-and-only-if -- 12, Formalisation of provability -- 13, Logic, change and contradiction | |
| 650 | |a Résolution de problème | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Programmation (mathématiques) | ||
| 997 | |0 413470 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, A10004 | ||