LEADER 02022nam a2200373 c 4500
001 koha001156320
005 20250624155436.0
008 250423s2009 ru da f b 000 0 rus d
020 |a 9789856744504 
035 |a koha001156320 
039 |z 21  |b 106 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
080 |a 512.563.6 
100 1 |a Закревский, Аркадий Дмитриевич  |d 1928-2014  |9 68929 
245 1 0 |a Решение больших систем логических уравнений  |c А. Д. Закревский ; Объедин. ин-т проблем информатики Нац. акад. наук Беларуси 
260 |a Минск  |b ОИРИ НАН Беларуси  |c 2009  |9 988753 
300 |a 95, [1] с.  |b ил., табл. 
336 |a Текст 
337 |a непосредственный 
504 |a Библиогр.: с. 90-96 
653 |a логические уравнения 
653 |a большие системы логических уравнений 
653 |a минимизация дерева поиска 
653 |a метод силлогизмов 
653 |a метод распространения констант 
653 |a метод локальной редукции 
653 |a эффект коллапса 
653 |a системы линейных логических уравнений 
653 |a параллелизм рандомизированный 
653 |a системы линейных логических уравнений переопределенных 
852 4 |a RU-ToGU  |n ru 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1156320 
952 |0 0  |1 0  |4 0  |6 2067336  |7 0  |9 868248  |a RU-ToGU  |b RU-ToGU  |c 10024  |d 2025-04-23  |g 150.00  |l 0  |o 2-067336  |p 13820001078923  |r 2025-04-23 09:16:26  |w 2025-04-23  |y 1  |z Библиотека Ф. П. Тарасенко. С авт. авт. 
999 |c 1156320  |d 1156320