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

Базы данных


Электронный каталог - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :10
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (2)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (23)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=логическое программирование<.>)
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.

Вид документа : Многотомное издание
Шифр издания : 022349
681.142(08)/В94
Заглавие : Вычислительные системы: Сб. науч. тр. 146: Логика и семантическое программирование
Выходные данные : Новосибирск, 1992
Колич.характеристики :202 с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-7623-0417-5: 150.00 р.
УДК : 004(082)
Предметные рубрики: вычислительная техника-- ЭВМ
Ключевые слова (''Своб.индексиров.''): вычислительные системы--логическое программирование--семантическое программирование--языки программирования
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
2.

Вид документа : Многотомное издание
Шифр издания : 085753
681.142(08)/В94
Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 148: Логические методы в информатике
Выходные данные : Новосибирск, 1993
Колич.характеристики :176 с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-7623-0675-5: 1000.00 р.
УДК : 004(082)
Предметные рубрики: вычислительная техника-- ЭВМ
Ключевые слова (''Своб.индексиров.''): логическое программирование--операционная семантика--денотационная семантика--семантическое программирование--искусственный интеллект--экспертные системы
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 151355
681.142.2/Ч-47
Автор(ы) : Чери, Стефано, Готлоб Г., Танка Л.
Заглавие : Логическое программирование и базы данных
Параллельн. заглавия :Logic Programming and Databases
Выходные данные : Москва: Мир, 1992
Колич.характеристики :352 с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-03-002472-7: 4000.00 р.
УДК : 004.6 + 004.4
Предметные рубрики: вычислительная техника-- базы и банки данных-- программирование
Ключевые слова (''Своб.индексиров.''): логическое программирование --базы данных--пролог--дейталог
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 043221
681.142(075)/G61
Автор(ы) : Goltz, Hans-Joachim, Herre, Heinrich
Заглавие : Grundlagen der logischen Programmierung : научное издание
Выходные данные : Berlin: Akad.-Verl., 1990
Колич.характеристики :319 S.
Серия: Informatik. Kybernetik. Rechentechnik; Bd. 34
Примечания : Bibliogr.
ISBN, Цена 3-05-500690-9: 175000.00 р.
УДК : 004(075)
Предметные рубрики: вычислительная техника-- ЭВМ
Ключевые слова (''Своб.индексиров.''): логическое программирование
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 216255
681.142.22/Б46
Автор(ы) : Бен-Ари М.
Заглавие : Языки программирования: Практический сравнительный анализ : учеб. по яз. программир.
Параллельн. заглавия :Understanding Programming Languages
Выходные данные : Москва: Мир, 2000
Колич.характеристики :366, [2] с
ISBN, Цена 5-03-003314-9: 40.00 р.
ISBN, Цена 0-471-95846-8: Б.ц.
УДК : 004.43(075.8)
Предметные рубрики: вычислительная техника-- языки программирования
Ключевые слова (''Своб.индексиров.''): языки программирования--объектно-ориентированное программирование (ооп)--логическое программирование--функциональное программирование--c++--ada 95--java--prolog--pl/1--ml
Экземпляры : всего : ОХФ-ЧЗ-4(1), ОХФ(1)
Свободны : ОХФ-ЧЗ-4(1), ОХФ(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 776259
681.142.2/П 580
Автор(ы) : Попов С. В.
Заглавие : Логическое моделирование
Выходные данные : Москва: Тровант, 2006
Колич.характеристики :256 с.: ил.
Примечания : Библиогр.: с. 254-255 (26 назв.)
ISBN (в пер.), Цена 5-89513-049-6: 120.00 р.
УДК : 004
Предметные рубрики: вычислительная техника-- ЭВМ
Ключевые слова (''Своб.индексиров.''): логическое программирование--логическое моделирование--логические задачи
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 995227
Автор(ы) : Подколзин, Александр Сергеевич
Заглавие : Компьютерное моделирование логических процессов. Архитектура и язык решателя задач
Выходные данные : Москва: ФИЗМАТЛИТ, 2008
Колич.характеристики :1022, [2] с
Примечания : Библиогр.: с. 1021-1022 (31 назв.)
ISBN (в пер.), Цена 978-5-9221-1045-7: 500.00 р.
УДК : 004.8
Предметные рубрики: вычислительная техника-- искусственный интеллект
Ключевые слова (''Своб.индексиров.''): логическое программирование--компьютерное моделирование--алгоритмические языки--лос--генолог--логический описатель ситуаций--генетический язык логического программирования--решатели
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 343416
Автор(ы) : Гринченков, Дмитрий Валерьевич, Потоцкий, Сергей Иванович
Заглавие : Математическая логика и теория алгоритмов для программистов : учеб. пособие
Выходные данные : Москва: КНОРУС, 2010
Колич.характеристики :206, [2] с
Примечания : Библиогр.: с. 205-206 (24 назв.). - Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
ISBN (в пер.), Цена 978-5-406-00120-2: 140.00 р.
УДК : 510.5(075.8) + 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булева алгебра--множеств теория--нечеткие множества--логическое программирование--пролог--языки программирования
Экземпляры :ОХФ-ЧЗ-4(1)
Свободны : ОХФ-ЧЗ-4(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 553856
Автор(ы) : Сергиевский, Георгий Максимович, Волчёнков, Николай Геннадьевич
Заглавие : Функциональное и логическое программирование : учеб. пособие для студентов вузов
Выходные данные : Москва: Изд. центр "Академия", 2010
Колич.характеристики :317, [3] с
Серия: Высшее профессиональное образование. Информатика и вычислительная техника
Примечания : Библиогр.: с. 313-314. - Допущено Учеб.-метод. об-нием вузов по унив. политехн. образованию в качестве учеб. пособия для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника"
ISBN (в пер.), Цена 978-5-7695-6433-8: 490.60 р.
УДК : 004.42(075.8)
Предметные рубрики: вычислительная техника-- программирование
Ключевые слова (''Своб.индексиров.''): функциональное программирование--логическое программирование--языки программирования--haskell--пролог--лисп
Экземпляры :ОХФ-ЧЗ-4(1)
Свободны : ОХФ-ЧЗ-4(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 004.43(075.8)/Т 980
Автор(ы) : Тюгашев, Андрей Александрович
Заглавие : Языки программирования : учебное пособие для бакалавров и специалистов
Выходные данные : Москва; Санкт-Петербург [и др.]: Питер, 2015
Колич.характеристики :333, [3] с.: ил.
Серия: Учебное пособие .
    Стандарт третьего поколения
Примечания : Библиогр.: с. 274-275 (24 назв.). - Допущено УМО вузов по образованию в обл. информац. безопасности Ин-та криптографии, связи и информатики Акад. ФСБ России в качестве учеб. пособия для студентов вузов, обучающихся по специальности 10.05.03 (090303) "Информационная безопасность автоматизированных систем"
ISBN (в пер.), Цена 978-5-496-01006-1: 1012.80 р.
УДК : 004.43(075.8)
Предметные рубрики: вычислительная техника-- языки программирования
Ключевые слова (''Своб.индексиров.''): языки программирования--c++--си--объектно-ориентированное программирование (ооп)--функциональное программирование--лисп--логическое программирование--пролог--визуальное программирование
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(1)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(1)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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