Logic for problem solving
Enregistré dans:
| Auteur principal: | |
|---|---|
| Support: | Livre |
| Langue: | Anglais |
| Publié: |
New York ; Amsterdam ; Oxford :
North-Holland,
1979.
|
| Collection: | Artificial intelligence series
7 The Computer science library |
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 01036nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 8791 | ||
| 008 | 990302q19791983xxe ||| |||| 00| 0 eng d | ||
| 020 | |a 0444003681 (pbk) | ||
| 020 | |a 0444003657 (hbk) | ||
| 041 | 0 | |a eng | |
| 082 | |a 519.7 | ||
| 082 | |a 519 | ||
| 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, |c 1979. | ||
| 300 | |a 1 vol. (287 p.) ; |c 24 cm. | ||
| 490 | 1 | |a Artificial intelligence series |v 7 | |
| 490 | 0 | |a The Computer science library | |
| 500 | |a Autre(s) tirage(s) : 1983 | ||
| 504 | |a Bibliogr. p. 247-260. Index | ||
| 650 | |a Logique symbolique et mathématique. | ||
| 650 | |a Résolution de problème. | ||
| 650 | |a Programmation (informatique). | ||
| 650 | |a Résolution de problème | ||
| 650 | |a Programmation (informatique) |x | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Programmation (mathématiques) | ||
| 993 | |a Livre | ||
| 994 | |a BC | ||
| 995 | |a 004937546 | ||
| 997 | |0 8791 | ||