Record ID | marc_loc_updates/v40.i01.records.utf8:26958054:802 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_updates/v40.i01.records.utf8:26958054:802?format=raw |
LEADER: 00802cam a22002175a 4500
001 91228523
003 DLC
005 20111227090428.0
008 911219s1990 ru b 000 0 ruso
010 $a 91228523
020 $c1.00rub
040 $aDLC$cDLC$dDLC
050 00 $aQA297$b.V93 vyp. 133$aQA76.63
245 00 $aLogicheskie metody v programmirovanii :$bsbornik nauchnykh trudov /$cnauchnye redaktory I︠U︡.L. Ershov, S.S. Goncharov.
260 $aNovosibirsk :$bAkademii︠a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki,$c1990.
300 $a188 p. ;$c21 cm.
440 0 $aVychislitelʹnye sistemy,$x0568-661X ;$v133
504 $aIncludes bibliographical references.
650 0 $aLogic programming (Computer science)
700 1 $aErshov, I︠U︡riĭ Leonidovich.
700 1 $aGoncharov, S. S.