Автоматизация поиска доказательства теорем в математике / АН УССР. Ин-т кибернетики ; Отв. ред. Ю.В. Капитонов ; Отв. за вып. З.М. Сельдеров.
Նյութի տեսակ։
ՏեքստՀրատարակման մանրամասներ։ Киев : Изд-во ин-та кибернетики АН УССР, 1974.Նկարագրություն։ 110 сԽորագրեր։
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
Fundamental Scientific Library | General | PII/347093 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 25 Days Loan | FL0291684 | ||
|
Book
|
National Library of Armenia | Depository | 62-50 / А-224 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Սպասարկվում է 30 օրով | NL0995735 | ||
|
Book
|
Yerevan State University Library | Depository | 681.14 А-224 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Term Loan | 200033676A |
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։