| 000 | 01881nam0a2200337 i 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\BIBL_A\010472496 | ||
| 005 | 20241120143929.0 | ||
| 010 |
_a978-5-9624-0941-2 _9100 |
||
| 021 |
_aRU _b2014-54261 _93278 |
||
| 035 | _a(NILC)RuMoRGB-007525156 | ||
| 035 | _a(NLR Aleph) 010472496 | ||
| 090 |
_a10026995 _c10026995 |
||
| 100 | _a20141003d2014 um y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _aa|||z|||001yy | ||
| 200 | 1 |
_aПрограммные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул _eмонография _fА. А. Ларионов, Е. А. Черкашин _gФедеральное гос. бюджетное образовательное учреждение высш. проф. образования "Иркутский гос. ун-т", Федеральное гос. бюджетное учреждение науки "Ин-т динамики систем и теории упр. Сибирского отд-ния РАН" |
|
| 210 |
_aИркутск _cИГУ _d2014 |
||
| 215 |
_a104 с. _cил. _d21 |
||
| 320 | _aБиблиогр.: с. 95-104 (107 назв.) | ||
| 606 |
_aИсчисление предикатов _xПоиск выводов _2nlr_sh2 _3RU\NLR\AUTH\6601746979 |
||
| 606 | 1 |
_aМатематика _xДоказательства _91031438 _3RU\NLR\AUTH\66395731 |
|
| 606 |
_aТеоремы _xДоказательство _91766096 _3RU\NLR\AUTH\661087513 |
||
| 686 | 1 | _aВ12 | |
| 700 | 1 |
_aЛарионов _bА. А. _gАлександр Александрович |
|
| 701 | 1 |
_aЧеркашин _bЕ. А. _gЕвгений Александрович |
|
| 801 | 0 |
_aRU _bРГБ _c20140724 _gRCR |
|
| 942 | _cBOOK | ||
| 980 | _aNBR | ||