demonstrarea auromată de teoreme
|
LDR | 00097nx j2200049 | |
---|---|---|
001 | 117205 | |
250 | $a demonstrarea auromată de teoreme | |
901 | $a a $b a |
Lucrări:
1 lucrari in 1 publicatii in 1 limbi
1 records Page 1 of 1
- 1
Inteligenţă artificială : demonstrarea automată a teoremelor, prelucrarea limbajului natural
de:
Tătar, Doina
(Text tipărit)