Մարտիրոսյան,Աշոտ Ստեփանի <br/><br/>
Թվային սխեմաների միջակայքային տրամաբանական ավտոմատացված նախագծման մեթոդների մշակումը:  Ատենախոսություն տեխ.գիտ.թեկն. ...ըստ հետևյալ մասնագիտ.:Ե.13.02-Ավտոմատացման համակարգեր/ 
Աշոտ Ստեփանի Մարտիրոսյան. 
 - Երևան,  2014. 
 - 133 էջ,  նկ.,աղ. 
<br/><br/> Հավելված էջ՝ 111-133. 
<br/><br/>Գիտ.ղեկ.՝ՀՀ գիտ.վաստակավոր գործիչ,տ.գ.տ.,պրոֆ. Վ.Շ.Մելիքյան. 
<br/><br/>Օգտ.գրակ.էջ՝ 102-111 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Սինքրոն և ասինքրոն մեթոդներ<br/>Երկնիշ և բազմանիշ մեթոդներ
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Դիսերտացիա