Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>KL=автоматическое доказательство теорем<.>)

Общее количество найденных документов : 1

    Кибернетический сборник [Текст] : сб. переводов : [пер. с англ.] / под ред. О. Б. Лупанова. - Москва : Мир, 1965 - . - (Новая серия).
   Вып. 21. - 1984. - 263, [1] с. - Библиогр. в конце ст. - (в пер.) : 2.50 р.
    Содержание:
Храпченко, В. М. Нижние оценки сложности схем из функциональных элементов : обзор / В. М. Храпченко. - С .3-54
Препарата, Ф. Нахождение пересечения n полупространств за время 0 (n log n) / Ф. Препарата, Д. Маллер. - С .55-68
Вегенер, И. Булевы функции, чья монотонная сложность имеет величину порядка n2/log n / И. Вегенер. - С .69-84
Дельсарт, Ф. Нумераторы спектра для некоторых кодов над целочисленными алфавитами, исправляющих аддитивные ошибки / Ф. Дельсарт, Ф. Пире. - С .85-104
Франкл, П. О семействах Шпернера, удовлетворяющих дополнительному условию / П. Франкл. - С .105-116
Пауль, В. Оценка памяти для одной игры на графах / В. Пауль, Р. Э. Тарьян, Д. Р. Селони. - С .117-132
Пауль, В. О соотношении времени и памяти в игре в камни / В. Пауль, Р. Э. Тарьян. - С .133-138
Плейстид, Д. А. Доказательство теорем с помощью абстракций / Д. А. Плейстид. - С .139-212
Зикманн, Й. Универсальная унификация и классификация эквациональных теорий / Й. Зикманн, П. Сабо. - С .213-234
Воз, Л. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем / Л. Воз. - С .235-263

ББК 32.81

Рубрики: Радиоэлектроника--Кибернетика

Кл.слова (ненормированные):
абстракции -- автоматическое доказательство теорем -- булевы функции -- эквациональные теории
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Лупанов, О. Б. \\ред.\\
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)