Логика и компьютер / Российская академия наук. Вып. 5 : Пусть докажет компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др.]

Сохранено в:
Шифр документа: 1Ок379323,
Вид документа: Книги
Опубликовано: 2004
Физические характеристики: 206, [1] с.
Язык: Русский
Предмет:
ЛОГИКА
ЛОГИЧЕСКИЕ ЗАДАЧИ
ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
ПЭВМ
ЭКСПЕРТНЫЕ СИСТЕМЫ
ПРЕДИКАТЫ (мат.)
ЛОГІКА
ЛАГІЧНЫЯ ЗАДАЧЫ
ШТУЧНЫ ІНТЭЛЕКТ
ЭКСПЕРТНЫЯ СІСТЭМЫ
МАТЭМАТЫЧНАЯ ЛОГІКА
ПРЭДЫКАТЫ (мат.)
ВЫЛІЧЭННЕ ВЫКАЗВАННЯЎ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
00000cam2a22000004ib4500
001 BY-NLB-br673910
005 20170920122243.0
010 # # $a 5-02-032859-6  $b в пер.  $d Б. ц. 
100 # # $a 20050105d2004 u y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a y 000yy 
109 # # $a aa 
200 1 # $a Пусть докажет компьютер  $f [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др.] 
210 # # $d 2004 
215 # # $a 206, [1] с. 
300 # # $a Библиогр.: с. 193-204 
345 # # $9 420 экз. 
461 # 0 $1 001BY-NLB-br673910G30345  $1 2001   $v Вып. 5 
606 0 # $3 BY-NLB-ar16568  $a ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar16586  $a ЛОГИЧЕСКИЕ ЗАДАЧИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar12252  $a ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ  $2 DVNLB 
606 0 # $3 BY-NLB-ar26759  $a ПЭВМ  $2 DVNLB 
606 0 # $3 BY-NLB-ar38742  $a ЭКСПЕРТНЫЕ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar81562  $a ПРЕДИКАТЫ (мат.)  $2 DVNLB 
606 0 # $3 BY-NLB-ar16569  $a ЛОГІКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar16587  $a ЛАГІЧНЫЯ ЗАДАЧЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar12253  $a ШТУЧНЫ ІНТЭЛЕКТ  $2 DVNLB 
606 0 # $3 BY-NLB-ar38743  $a ЭКСПЕРТНЫЯ СІСТЭМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17285  $a МАТЭМАТЫЧНАЯ ЛОГІКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar81563  $a ПРЭДЫКАТЫ (мат.)  $2 DVNLB 
606 0 # $3 BY-NLB-ar6531  $a ВЫЛІЧЭННЕ ВЫКАЗВАННЯЎ  $2 DVNLB 
606 0 # $3 BY-NLB-ar26760  $a ПЭВМ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17284  $a МАТЕМАТИЧЕСКАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar6530  $a ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ  $2 DVNLB 
675 # # $a 510.6  $v 3  $z rus 
675 # # $a 004.8  $v 3  $z rus 
686 # # $a 27.03.19  $2 rugasnti 
686 # # $a 28.23.01  $2 rugasnti 
686 # # $a 28.23.17  $2 rugasnti 
701 # 1 $3 BY-SEK-611719  $a Болотов  $b А. Е. 
701 # 1 $3 BY-SEK-611720  $a Бочаров  $b В. А. 
701 # 1 $3 BY-SEK-611721  $a Горчаков  $b А. Е. 
801 # 0 $a BY  $b BY-HM0000  $c 20050105  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060315  $g psbo 

Схожие документы