Поиск инвариантов для программ с булевыми массивами : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" / А.Г. Костанян ; Институт проблем информатики и автоматизации НАН РА.
Նյութի տեսակ։ ՏեքստԼեզու: Ռուսերեն Հրատարակման մանրամասներ։ Ереван, 1996.Նկարագրություն։ 17 с. ։ 21 смԱյլ վերնագիր։- Ինվարիանտների որոնում բուլյան զանգվածներով ծրագրերի համար : Սեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման [Զուգահեռ վերնագիր]
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Dissertation, Thesis | National Library of Armenia | Ատենախոսությունների և սեղմագրերի ֆոնդ | А 01.01.09 / К-72 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Սպասարկվում է տեղում օգտվելու համար | NL1904471 | ||
Dissertation, Thesis | National Library of Armenia | Անձեռնմխելի հավաքածու | ԱԳՀ / 12966 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Չի սպասարկվում | NL1900889 | ||
Dissertation, Thesis | National Library of Armenia | Անձեռնմխելի հավաքածու | ԱԳՀ / 12967 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Չի սպասարկվում | NL1900890 |
Научный руководители: д.ф.-м.н. А.А. Летичевский, д.т.н. Ю.Г. Шукурян ; Официальные оппоненты: д.ф.-м.н. И.Д. Заславский, к.ф.-м.н. Р.Н. Тоноян ; Ведущая организация: Ерерванский научно-исследовательский институт математических машин: Ереванский государственный университет. 24-го января 1997г.
Бибилиогр. в конце кн.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։