ՀԱՅԱՍՏԱՆԻ ԳՐԱԴԱՐԱՆՆԵՐԻ ՀԱՄԱՀԱՎԱՔ ԳՐԱՑՈՒՑԱԿ = Union Catalog of Armenian Libraries

Քո փնտրումը վերադարձրեց 2 արդյունք։

Տեսակավորում
Արդյունքներ
Автоматизация поиска доказательства теорем в математике / АН УССР. Ин-т кибернетики ; Отв. ред. Ю.В. Капитонов ; Отв. за вып. З.М. Сельдеров.
Նյութի տեսակ։ Տեքստ Տեքստ
Հրատարակման մանրամասներ։ Киев : Изд-во ин-та кибернетики АН УССР, 1974
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ PII/347093. National Library of Armenia (1)Տեղաբաշխում, դասիչ։ 62-50 / А-224. Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 681.14 А-224.

Автоматизация логического проектирования цифровых устройств / АН УССР. Ин-т кибернетики ; Отв. ред. В.М. Глушков ; Отв. за вып. З.М. Сельдеров.
Նյութի տեսակ։ Տեքստ Տեքստ
Հրատարակման մանրամասներ։ Киев : Изд-во ин-та кибернетики АН УССР, 1973
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ PII/325169. Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 681.14 А-224.

Էջեր

Հայաստանի ազգային գրադարան ՀՀ, 0009,Երևան, Տերյան 72 Հետադարձ կապ

Ուղեկցվում է Կոհա