TY  - BOOK
AU  - Костанян,Армен Грачевич
ED  - Институт проблем информатики и автоматизации НАН РА
TI  - Поиск инвариантов для программ с булевыми массивами: Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" 
PY  - 1996///
CY  - Ереван
KW  - Физико-математические науки
KW  - Математическая кибернетика и математическая логика
KW  - Սեղմագրեր
N1  - Научный руководители: д.ф.-м.н. А.А. Летичевский, д.т.н. Ю.Г. Шукурян ; Официальные оппоненты: д.ф.-м.н. И.Д. Заславский, к.ф.-м.н. Р.Н. Тоноян ; Ведущая организация: Ерерванский научно-исследовательский институт математических машин; Бибилиогр. в конце кн
ER  -