| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


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

Виды поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>U=510.6:681.3.06<.>)
Общее количество найденных документов : 1
1.

   
    Логика и компьютер [Текст] : моделирование рассуждений и проверка правильности программ / под ред. Н. А. Алешиной. - М. : Наука, 1990. - ; 20см. - ISBN 5-02-007156-0 : 0.65 р.
ГРНТИ
УДК
ББК 32.81

Рубрики: Математика--Математическая логика

   Вычислительная техника--Программирование


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


Доп. точки доступа:
Алешина, Н. А.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)