Вычислительные системы : Сборник трудов Вып. 120, Логические методы в программировании / АН СССР, Сибирское отд. ин-т математики ; Ред. Ю.Л. Ершов, С.С. Гончаров и др.
Նյութի տեսակ։
ՏեքստՀրատարակման մանրամասներ։ Новосибирск : Ин-та математики СО АН СССР , 1987.Նկարագրություն։ 159 сԽորագրեր։
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
Yerevan State University Library | Depository | 681.142 В-949 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Term Loan | 2501564215 |
Դիտման Yerevan State University Library դարակ, Հավաքածու։ Depository Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։