Approche logique de l'intelligence artificielle. 1, De la logique classique à la programmation logique

Enregistré dans:
Détails bibliographiques
Publié dans: Approche logique de l'intelligence artificielle . 1
Autres auteurs: Thayse, André.
Support: Livre
Langue: Français
Publié: Paris : Dunod, 1988
Collection: Dunod informatique
Sujets:
Lien: Dans: Approche logique de l'intelligence artificielle .
LEADER 01431nam a22003617a 4500
001 6822
008 880315s1988 xxe ||| |||| 00| 0 fre d
020 |a 2040186581 (Br.) :  |c 220 F 
037 |a 9782040186586 
041 0 |a fre 
080 |a 67 
082 |a 006.333 
245 0 0 |a Approche logique de l'intelligence artificielle.  |n 1,  |p De la logique classique à la programmation logique   |c par André Thayse,... Pascal Gribomont,... Georges Louis,... Dominique Snyers,... [et al.]. 
260 |a Paris :  |b Dunod,  |c 1988  |e (93-Montreuil) :  |f (Impr. Gauthier-Villars). 
300 |a XIV-385 p. :  |b ill. ;  |c 24 cm. 
490 1 |a Dunod informatique  |x 0291-1604 
500 |a Bibliogr. p. 372-380. Index 
650 |a Logique symbolique et mathématique. 
650 |a Intelligence artificielle. 
650 |a Programmation logique. 
700 1 |a Thayse, André. 
773 1 |w frBN005922893  |t Approche logique de l'intelligence artificielle .  |g 1 
960 |3 frBN001977807  |a Logique formelle  |9 60601 
960 |3 frBN001977807  |a Logique mathématique  |9 60601 
960 |3 frBN001977807  |a Logique moderne symbolique  |9 60601 
960 |3 frBN001977807  |a Logistique (logique)  |9 60601 
960 |3 frBN001529088  |a Cerveaux électroniques  |9 60602 
960 |3 frBN001529088  |a Machines intelligentes  |9 60602 
960 |3 frBN001529088  |a Pensée artificielle  |9 60602 
992 |a 006.333 THA (I) 
993 |a Livre 
994 |a BC 
997 |0 6822