000 00904nam a22002057a 4500
003 Ge_NSL
005 20240604131341.0
008 211206s1982 by ||||| |||| 00| 0 rus d
041 _arus
080 _a004.312
245 _aАвтоматизация логического проектирования :
_bСб. науч. тр. /
_c [Науч. ред. А. Д. Закревский] ; АН БССР, Ин-т техн. кибернетики.
264 _aМинск :
_bИТК,
_c1982.
300 _a158 с.
653 _aციფრული გამოთვლითი მანქანები
653 _aკომბინატორიკა
653 _aავტომატიზაცია
700 _aЗакревский, А. Д.
_eრედაქტორი
_9218538
710 _aАН БССР, Ин-т техн. кибернетики
_999224
942 _2udc
_cBK
999 _c561523
_d561521