Fundamental Scientific Library of NAS RA

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Автоматизация поиска доказательства теорем в математике / АН УССР. Ин-т кибернетики ; Отв. ред. Ю.В. Капитонов ; Отв. за вып. З.М. Сельдеров.

by Капитонов, Ю.В [ред.] | Сельдеров, З.М [ред.] | Институт кибернетики АН УССР.

Material type: Text Text Language: Russian Publication details: Киев : Изд-во ин-та кибернетики АН УССР, 1974Availability: Items available for loan: 1 Call number: PII/347093.

Place hold Add to cart
Автоматизация проектирования ЭВМ : Материалы всесоюзной конференции / АН УССР. Науч. совет по проблеме "Кибернетика" ; Ин-т кибернетики ; Отв. ред. Ю.В. Капитонова.

by Капитонов, Ю.В [ред.] | Институт кибернетики АН УССР.

Material type: Text Text Language: Russian Publication details: Киев : Наук. думка, 1979Availability: Items available for loan: 1 Call number: PII/449349.

Place hold Add to cart
Pages


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License