demonstrarea automată a teoremelor
|
LDR | 00099nx j2200049 | |
---|---|---|
001 | 117214 | |
250 | $a demonstrarea automată a teoremelor | |
901 | $a a $b a |
Lucrări:
1 lucrari in 1 publicatii in 1 limbi
1 records Page 1 of 1
- 1
Principiile inteligenţei artificiale
de:
Dumitrescu, D.
(Text tipărit)
Subiecte
raționament aproximativ
mulțimi nuanțate
căutarea unui drum
rezolvarea problemelor
demonstrarea automată a teoremelor
principii generale
sisteme expert
căutarea unei soluții
memorii asociative
control inteligent
reţele neuronale
știința și tehnologia computerelor prelucrarea datelor
reprezentarea cunoașterii
agenți inteligenți
elemente de logică clasică