| 000 | 01175cam0 2200277 ib4500 | ||
|---|---|---|---|
| 001 | BY-HO0000-br256518 | ||
| 005 | 20211220130505.0 | ||
| 010 | ^a5-7702-0043-X | ||
| 100 | ^a20090831d1990 m y0rusy50 ca | ||
| 101 | 0 | ^arus | |
| 105 | ^ay ||||000yy | ||
| 109 | ^aaa | ||
| 200 | 1 |
^aМетоды представления знаний и доказательное программирование ^eсб. науч. тр. ^fАН УССР, Ин-т кибернетики им. В. М. Глушкова, Науч. совет АН УССР по пробл. "Кибернетика" ^gредкол.: Е. Л. Ющенко, Ф. И. Андон (отв. редакторы) и др. |
|
| 210 |
^aКиев ^cИК ^d1990 |
||
| 215 |
^a116 с. ^cил. |
||
| 320 | ^aБиблиогр. в конце ст. | ||
| 606 |
^3BY-NLB-ar32704 ^aВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ |
||
| 606 |
^3BY-NLB-ar25723 ^aПРОГРАММИРОВАНИЕ |
||
| 686 |
^a32.973.2-018 ^2rubbk |
||
| 690 |
^9RLG ^a1 ^2Base ^xRSEK |
||
| 690 |
^9RLG ^a1 ^2Vid |
||
| 801 | 0 |
^aBY ^bBY-HO0000 ^c20050908 ^gPSBO |
|
| 899 |
^aBY-HO0000 ^iМ54 |
||