|
|
|
|
| LEADER |
01296nam a22003257a 4500 |
| 001 |
193397 |
| 008 |
000821t20002000xxe ||| |||| 00| 0 fre d |
| 009 |
PPN052150550 |
| 020 |
|
|
|a 2746201313 (br.) :
|c [459 FRF]
|
| 024 |
|
|
|a 9782746201316
|
| 041 |
0 |
|
|a fre
|f fre
|
| 080 |
|
|
|a 51
|
| 082 |
|
|
|a 006.3
|
| 100 |
1 |
|
|a Gochet, Paul,
|d 1932-2011.
|
| 245 |
1 |
0 |
|a Logique.
|n Volume 3,
|p Méthodes pour l'intelligence artificielle
|c Paul Gochet, Pascal Gribomont, André Thayse.
|
| 260 |
|
|
|a Paris :
|b Hermes science publications,
|c DL 2000.
|
| 300 |
|
|
|a 1 volume (394 pages) :
|b illustrations ;
|c 24 cm.
|
| 504 |
|
|
|a Bibliographie p. [373]-387. Index
|
| 650 |
|
|
|a Logique
|
| 650 |
|
|
|a Logique symbolique et mathématique
|
| 650 |
|
|
|a Modalité (logique)
|
| 650 |
|
|
|a Théorie des modèles
|
| 650 |
|
|
|a Intelligence artificielle
|
| 650 |
|
|
|a Logique épistémique
|
| 650 |
|
|
|a Programmation logique
|
| 650 |
|
|
|a Prolog (langage de programmation)
|
| 650 |
|
|
|a Intelligence
|x Simulation, Méthodes de
|
| 700 |
1 |
|
|a Gribomont, Pascal.
|4 aut
|
| 700 |
1 |
|
|a Thayse, André,
|d 1940-
|4 aut
|
| 997 |
|
|
|0 193397
|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, A374-1(3)
|z Orléans, BU Sciences, Technologies, STAPS, 005.131 GOC
|
