|
|
|
|
| LEADER |
01584nam a22003737a 4500 |
| 001 |
75776 |
| 008 |
930916s1994 xxe ||| |||| 00| 0 fre d |
| 009 |
PPN002974436 |
| 020 |
|
|
|a 2854283244 (br.) :
|c 30,49 EUR
|
| 024 |
|
|
|a 9782854283242
|
| 041 |
0 |
|
|a fre
|
| 080 |
|
|
|a 67
|
| 082 |
|
|
|a 006.3
|
| 084 |
|
|
|a 68Qxx. 2000
|
| 084 |
|
|
|a 68Txx. 2000
|
| 100 |
1 |
|
|a Alliot, Jean-Marc,
|d 1962-
|
| 245 |
1 |
0 |
|a Intelligence artificielle et informatique théorique
|c Jean-Marc Alliot,... Thomas Schiex,...
|
| 260 |
|
|
|a Toulouse :
|b Cépaduès-éd.,
|c 1994
|e (31-Toulouse) :
|f (Impr. Messages).
|
| 300 |
|
|
|a 1 vol. (520 p.) :
|b ill., couv. ill. en coul. ;
|c 21 cm.
|
| 490 |
0 |
|
|a Collection Intelligence artificielle
|
| 504 |
|
|
|a Bibliogr. p. 485-510. Index
|
| 505 |
0 |
|
|a I : Logique mathématique, résolution. II : Elément d'informatique théorique. III : Techniques de l'intelligence artificielle. IV : Les langages de l'IA. V : Apprentissage
|
| 650 |
|
|
|a Langages formels
|
| 650 |
|
|
|a Logique symbolique et mathématique
|
| 650 |
|
|
|a Systèmes experts (informatique)
|
| 650 |
|
|
|a Programmation logique
|
| 650 |
|
|
|a Réseaux neuronaux (informatique)
|
| 650 |
|
|
|a Intelligence artificielle
|
| 700 |
1 |
|
|a Schiex, Thomas,
|d 1965-
|4 aut
|
| 915 |
|
|
|5 410182301:499038541
|a EVE-2243
|b 2240013437
|
| 915 |
|
|
|5 410182301:49903855X
|a EVE-2179
|b 2240010771
|
| 997 |
|
|
|0 75776
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Blois/
|c 1/Blois/INSA CVL/
|z Blois, INSA CVL, 006.3 ALL
|z Blois, INSA CVL, 006.3 ALL
|
| 999 |
|
|
|5 410182301:499038541
|a EV14j
|b EVCINF
|
| 999 |
|
|
|5 410182301:49903855X
|a EV14j
|b EVCINF
|