|
|
|
|
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
|