demonstrarea auromată de teoreme

Topical Subject:	demonstrarea auromată de teoreme

LDR	00097nx j2200049
001	117205
250	$a demonstrarea auromată de teoreme
901	$a a $b a

Works: 1 works in 1 publications in 1 languages

1 records Page 1 of 1

Inteligenţă artificială : demonstrarea automată a teoremelor, prelucrarea limbajului natural by: Tătar, Doina (Language materials, printed)

Subjects