Բեռնվում է…
Автоматизация поиска доказательства теорем в математике /
Պահպանված է:
| Համատեղ հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | , |
| Ձևաչափ: | Գիրք |
| Լեզու: | Russian |
| Հրապարակվել է: |
Киев :
Изд-во ин-та кибернетики АН УССР,
1974.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Fundamental Scientific Library: Unknown
| Դասիչ: |
PII/347093 |
|---|---|
| Պատճեն Unknown | Հասանելի է Տեղադրեք պահում |