Об SLDNF-резолюции в логическом програмировании с отрицанием : Автореф. ... канд. физ.-мат. наук по спец. 01.01.09- Математическая кибернетика и математическая логика / Л.А.Саркисян.
Նյութի տեսակ։
ՏեքստԼեզու: Ռուսերեն Հրատարակման մանրամասներ։ Ереван, 2012.Նկարագրություն։ 19 сԱյլ վերնագիր։ - SLDNF-ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ. Սեղմ. Ա.01.09 մասն. ֆիզմաթ. գիտ. թեկն [Զուգահեռ վերնագիր]
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Dissertation, Thesis
|
National Library of Armenia | Ատենախոսությունների և սեղմագրերի ընթերցասրահ | А01.01.09 С-202 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | One Hour Loan | NL0456331 |
ЕГУ
Науч. рук.: д.ф.м.н. С.А.Нагиян
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։