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: Киев : Изд-во ин-та кибернетики АН УССР, 1973Availability: Items available for loan: 1 Call number: PII/325169.

Place hold Add to cart
Автоматизация поиска доказательства теорем в математике / АН УССР. Ин-т кибернетики ; Отв. ред. Ю.В. Капитонов ; Отв. за вып. З.М. Сельдеров.

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

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

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