Поиск по названию [3441] Липовченко В. А. Логический вывод и обработка знаний в информационных средах: автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.00.09 / В. А. Липовченко. - Иркутск, 2007. - 19 с. - Библиогр.: с. 19 (6 назв.). -Держатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 28.23.39 УДК: 004.832.3(043) Рубрика: Денежный рынок / Россия / История Рынок ценных бумаг / Россия / История [3442] Точков А. Г. Логический подход в управлении предприятиями машиностроения: монография / А. Г. Точков, В. П. Кузнецов. - Н. Новгород : ВГИПУ, 2008 (Н. Новгород) . - 170 с. : ил. - Библиогр.: с. 142-156 (172 назв.). - 1000 экз. - Б. ц. В надзаг.: ГОУ ВПО "Волж. гос. инженер.-пед. ун-т".Держатели документа: ГПНТБ России Доп.точки доступа: Кузнецов, В.П. Экз-ры: хр(1) ГРНТИ: 55.01.88 УДК: 658.7:621 Рубрика: Логистика / Применение в машиностроении [3443] Брызгалин А. В. Логический подход к искусственному интеллекту. От модальной логики к логике баз данных: монография / А.Тейз,П.Грибомон,Г.Юлен и др.;Пер.с фр.под ред.Г.П.Гаврилова. - М. : Мир, 1998. - 494 с. : ил. - Пер. изд. : Approche logique de l'intelligence artificielle. - Paris, 1989. - 1000 экз. - ISBN 5-03-002519-7 : Б. ц. Библиогр.:с.471-486 (255 назв.)Держатели документа: ГПНТБ России Доп.точки доступа: Тейз, А.; Грибомон, П.; Юлен, Г. Экз-ры: хр(2) ГРНТИ: 28.23.17 УДК: 004.8 Рубрика: Искусственный интеллект [3444] Новопашенный И. В. Логический подход к искусственному интеллекту: от классич. логики к логич. программир. / А.Тей,П.Грибомон,Ж.Луи и др.;Пер.с фр. П. П. Пермякова; Под ред. Г. П. Гаврилова. - М. : Мир, 1990. - 429 с. : ил. - Пер. изд. : Approche logique de l'intelligence artificiell / A.et al Thayse. - Paris, 1988. - 20000 экз. - ISBN 5-03-001636-8 : 2.90 р. Авт. указаны на обороте тит. л.Библиогр.: с. 411-417 (115 назв.)Держатели документа: ГПНТБ России Доп.точки доступа: Тей, А.; Грибомон, П.; Луи, Ж.; Thayse, A. et al Экз-ры: хр(2), фо-7(1), фо-9(1), фо17(1), фо18(1), фо19(1), фо20(1), фо24(1), фо25(1), фо26(1) ГРНТИ: 28.23.17 УДК: 004.8 Рубрика: Искусственный интеллект [3445] Семенов В. В. Логический подход к проектированию алгоритмов информационного обеспечения мобильных систем. 1. Основные понятия: препринт / А. К. Платонов [и др.]. - М., 2006. - 32 с. : ил. - (Препринт / Ин-т прикладной математики им.М.В.Келдыша(Москва) ; 48 за 2006 г.). - Библиогр.: с. 30-31(30 назв.). - 59 экз. - Б. ц.Держатели документа: ГПНТБ России Доп.точки доступа: Платонов, А.К.; Зуева, Е.Ю.; Кирильченко, А.А.; Соколов, С.М. Экз-ры: хр(1) ГРНТИ: 55.30.03 УДК: 621.865.8-182.3(04) Рубрика: Роботы мобильные / Информационное обеспечение [3446] Андреев Н. П. Логический синтез дискретных систем управления станками-автоматами: учеб.пособие / Н.П.Андреев. - Омск : [б. и.], 1984. - 51 л. : ил. - Тираж не указ. - 2550 р. В надзаг.:Ом.политехн.ин-т.Библиогр.:с.50(7 назв.).КсерокопияДержатели документа: ГПНТБ России Экз-ры: хр(1) ГРНТИ: 55.29.33 УДК: 621.9.06-52 Рубрика: Металлорежущие станки-автоматы / Управление [3447] Ахметшин Н. И. Логический синтез систем управления по пути: учеб. пособие / Н.И.Ахметшин. - Челябинск : Изд-во ЮУрГУ, 2000. - 52 с. : ил. - 100 экз. - ISBN 5-696-01820-3 : 12 р. В надзаг.: Юж.-Урал. гос. ун-т, Каф. "Машины лег. пром-сти". Библиогр.: с.51 (7 назв.)Держатели документа: ГПНТБ России Экз-ры: хр(2) ГРНТИ: 64.33.01 УДК: 687.1/.4.05-52 Рубрика: Швейное производство / Автоматизация [3448] Люханов В. М. Логический синтез устройств числового программного управления: учеб. пособие / В.М.Люханов. - Воронеж : [б. и.], 1991. - 88 с. : ил. - 200 экз. - ISBN 5-230-04428-4 : 00.60 р. В надзаг.:Воронеж.политехн.ин-т.Библиогр.:с.88(16 назв.).Держатели документа: ГПНТБ России Экз-ры: хр(2) ГРНТИ: 50.43 УДК: 681.513.2 Рубрика: Программные устройства [3449] Гамидов Г. М. Логический словарь ДЕФОРТ : словарь / Под ред. А.А.Ивина и др. - М. : Мысль, 1994. - 269 c. : ил. - 20000 экз. - ISBN 5-244-00680-0 : 5400 р. Библиогр.: с.265-269Держатели документа: ГПНТБ России Доп.точки доступа: Ивин, А.А. сост.ред. Экз-ры: спр(1), хр(1), фо-7(1), фо17(1) ГРНТИ: 02.21 УДК: Ю41а21 Рубрика: Программирования языки / Prolog [3450] Золотарев Ю. Н. Логическое и оптимизационное моделирование для синтеза технологии с кондиционированием воздуха: автореферат диссертации на соискание ученой степени д-ра техн. наук :05.13.18 / Ю. Н. Золотарев. - Воронеж, 2004. - 31 c. - Библиогр.: с. 29-31(29 назв.) В надзаг.: Воронежская гос. технол. акад.Держатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 67.53.25 УДК: 697.94(043) Рубрика: Солнечно-земные связи Объявление: [3451] Жерлов А. К. Логическое исчисление позитивно-образованных формул, его свойства и применение: автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. К. Жерлов. - Иркутск, 1999. - 22 с. Библиогр.:с. 20-22(11 назв.)Держатели документа: ГПНТБ России Экз-ры: (1) ГРНТИ: 28.23 УДК: 004.832.3(043) Рубрика: Техника / История [3452] Шестаков А. А. Логическое моделирование в условиях неопределенности: монография / А.А.Шестаков;Отв.ред.М.К.Чирков. - Апатиты : [б. и.], 1996. - 182 с. : ил. - 200 экз. - Б. ц. В надзаг.:Рос.АН,Кол.науч.центр им.С.М.Кирова,Ин-т информатики и мат.моделирования технол.процессов.Библиогр.:с.168-173(70 назв.).Указ.:с.174-176Держатели документа: ГПНТБ России Экз-ры: хр(2), фо17(1), фо18(1), фо24(1) ГРНТИ: 37.21.77 УДК: 62.001.57 Рубрика: Моделирование математическое [3453] Силин А. В. Логическое моделирование процессора МКБ-8601: препринт / Ф.В.Левчановский,Т.Ф.Сапожникова,А.П.Сапожников,И.Н.Силин. - Дубна, 1991. - 8 с. : ил. - (Препринт / Объединенный ин-т ядерных исследований(Дубна) ; Р11-91-44). - 465 экз. - 00.12 р. Библиогр.: с. 7-8 (12 назв.)Держатели документа: ГПНТБ России Доп.точки доступа: Левчановский, Ф.В.; Сапожникова, Т.Ф.; Сапожников, А.П.; Силин, И.Н. Экз-ры: хр(1) ГРНТИ: 50.33.39 УДК: 004.31.001.57(04) Рубрика: Процессоры / Моделирование [3454] Близнова О. В. Логическое моделирование систем с последовательно-параллельной структурой: автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.18 / О. В. Близнова. - Саратов, 2004. - 16 с. Библиогр.: с. 15-16 (13 назв.)Держатели документа: ГПНТБ России Экз-ры: (1) ГРНТИ: 28.29.07 УДК: 519.872(043) Рубрика: Итальянский язык / Словари [3455] Яковлев А. В. Логическое моделирование цифровых устройств и специализированных ЭВМ: учеб. пособие / А. В. Яковлев, О. И. Курсанов, С. Г. Марковский. - Л. : [б. и.], 1990. - 81 с. : ил. - 200 экз. - ISBN 5-230-10222-5 : 0.15 р. На тит. авт. не указ. В надзаг.: Ленингр. ин-т авиац. приборостроения. Библиогр.: с. 67 (9 назв.)Держатели документа: ГПНТБ России Доп.точки доступа: Курсанов, О.И.; Марковский, С.Г. Экз-ры: хр(2) ГРНТИ: 50.33.33 50.09.29 УДК: 004.3.001.57 004.383.001.57 Рубрика: Дискретные устройства / Моделирование Вычислительные машины специализированные / Моделирование [3456] Хаханов В. И. Логическое моделирование цифровых устройств: учеб.пособие для студентов спец. "Автоматизир. системы обраб. информ. и упр." и "Системы автоматизир. проектирования" / В.И.Хаханов,Г.Ф.Кривуля. - Киев : УМК ВО, 1989. - 146 с. : ил. - 1000 экз. - 0.30 р. В надзаг.:Учеб.-метод. каб. по высш. образованию, Харьк. ин-т радиоэлектроники им. М. К. Янгеля. Библиогр.: с. 142-145 (35 назв.).Держатели документа: ГПНТБ России Доп.точки доступа: Кривуля, Г.Ф. Экз-ры: хр(1) ГРНТИ: 50.09.29 УДК: 004.3.001.57 Рубрика: Дискретные устройства / Моделирование [3457] Серов В. В. Логическое представление нечетких знаний и его применение для решения прикладных задач качественного характера: монография / В.В.Серов. - М. : [б. и.], 2001. - 107 с. : ил. - 200 экз. - Б. ц. В надзаг.:Рос. заочный ин-т текстильной и легкой пром-сти. Библиогр.:с.96-106Держатели документа: ГПНТБ России Экз-ры: хр(2) ГРНТИ: 28.23.13 УДК: 004.827 Рубрика: Искусственный интеллект [3458] Манцивода А. В. Логическое программирование в ограничениях: семантический подход: автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / А. В. Манцивода. - Новосибирск, 1995. - 24 с. : ил В надзаг.: ВЦ Сиб.отд-ния РАН. Библиогр.: с.21-24(27 назв.)Держатели документа: ГПНТБ России Экз-ры: (1) ГРНТИ: 50.05.03 УДК: 004.42.047(043) Рубрика: Стиральные машины [3459] Адаменко А. Н. Логическое программирование и Visual Prolog: наиболее полное руководство в подлиннике / А.Н.Адаменко,А.М.Кучуков. - СПб. : БХВ-Петербург, 2003. - 990 с. - 3000 экз. - ISBN 5-94157-156-9 : Б. ц. Библиогр.: с. 967-971 (94 назв.)Держатели документа: ГПНТБ России Доп.точки доступа: Кучуков, А.М. Экз-ры: фмз(1) ГРНТИ: 50.05.13 50.05.09 УДК: 004.42.047 004.438 Рубрика: Программирование для ЭВМ логическое Программирования языки / Visual Prolog [3460] Чери С. Логическое программирование и базы данных: монография / С.Чери,Г.Готлоб,Л.Танка;Пер.с англ.под ред.Л.А.Калиниченко. - М. : Мир, 1992. - 352 с. : ил. - Пер. изд. : Logic programming and databases / S. Ceri, G. Gottlob, L. Tanka. - Berlin et.al. - 8000 экз. - ISBN 5-03-002472-7 : Б. ц. Библиогр.: с. 341-350Держатели документа: ГПНТБ России Доп.точки доступа: Готлоб, Г.; Танка, Л.; Ceri, S. ; Gottlob, G. Tanka, L. Экз-ры: хр(2) ГРНТИ: 50.05.13 20.23.21 УДК: 004.42.047 004.63 Рубрика: Программирование для ЭВМ логическое Банки данных Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 [173] 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200