Бесплатная библиотека - 1 338 003 изданий в библиотеке

Логическое программирование

Книга Логическое программирование

Название: Логическое программирование
Автор: Агафонов В. Н.
Издательство: Мир
Страниц: 368
Формат: DJVU
Размер: 3.58 Мб
Качество: Нормальное
Язык: Русский
Год издания: 1988
ISBN: 5-03-000972-8
Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой.
Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлнсп н др. ), методы реализации н проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известные зарубежные специалисты: Б. Домелкн, П. Середи(ВНР), А. Колмероэ (Франция), Дж. Робиисои (США), Р. Ковальский (Великобритания). Для математнков-прикладииков, программистов, аспирантов и студентов университетов.

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12827 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Sculpted Band Saw Boxes: Design, Inspiration & Construction

    Sculpted Band Saw Boxes: Design, Inspiration & Construction

    Название: Sculpted Band Saw Boxes: Design, Inspiration & ConstructionАвтор: Lois VenturaИздательство: Popular Woodworking BooksГод: 2008Формат: pdfКачество: отличноеРазмер: 51 МбЯзык: EnglishКоличеств . . .

  • Книга Понаехавшая

    Понаехавшая

    Название: ПонаехавшаяАвтор: Наринэ АбгарянИздательство: АСТ, Астрель-СПб, ВКТГод издания: 2011ISBN: 978-5-17-074778-8, 978-5-9725-2089-3, 978-5-226-04375-8Страниц: 256Формат: RTF,FB2Размер: 5,1 МбТр . . .

  • Книга Живая кухня по-русски. Сырые супы, салаты, десерты

    Живая кухня по-русски. Сырые супы, салаты, десерты

    Название: Живая кухня по-русски. Сырые супы, салаты, десертыАвтор: Ари Ясан Год издания: 2012Издательство: ПитерISBN: 978-5-459-01514-0Страниц: 64Формат: PDFРаз . . .

  • Книга Три банана, или Петр на сказочной планете

    Три банана, или Петр на сказочной планете

    Название: Три банана, или Петр на сказочной планетеАвтор: Слабый З.К. Издательство: Детская литератураГод: 1966Страниц: 164Формат: DJVUРазмер: 2,71 МбМальчик Петрик отправляется в путешествие с помощь . . .

  • Книга The flying spy

    The flying spy

    Название: The flying spyАвтор: Lieut. Camillo de CarloИздательство: New York, E.P. Dutton & companyСтраниц: 424Формат: PDF Размер: 22 МбКачество: ХорошееГод: 1919Язык: английскийThe new recruits, . . .

  • Книга Художественное надгробие в собрании государственного музея городской скульптуры

    Художественное надгробие в собрании государственного музея городской скульптуры

    Автор: Коллектив под общей редакцией В.Н.ТимофееваНазвание: Художественное надгробие в собрании государственного музея городской скульптуры (в 3-х томах)Издательство: Санкт-ПетербургГод: 2004Формат: p . . .

  • Книга Звуки, буквы я учу! Альбом упражнений №1 по обучению грамоте дошкольника

    Звуки, буквы я учу! Альбом упражнений №1 по обучению грамоте дошкольника

    Название: Звуки, буквы я учу! Альбом упражнений №1 по обучению грамоте дошкольникаАвтор/составитель: Галкина Г.Г.Издательство: Издательство ГНОМГод: 2011Страниц: 40Серия: Практическая логопедияЯзык: р . . .

  • Книга Классический танец: Слитные движения

    Классический танец: Слитные движения

    Название: Классический танец: Слитные движения Автор: Костровицкая В.С. Издательство: Советская Россия Страниц: 56 Формат: PDF Размер: 13 МБ Качество: Отличное Язык: Русский Год издания: 1961 Книга В . . .

  • Книга Численные методы решения задач со свободной границей

    Численные методы решения задач со свободной границей

    Название : Численные методы решения задач со свободной границейАвтор: Вабищевич П.Н.Издательство: Изд-во МГУЯзык: русскийГод: 1987Формат: djvuРазмер: 2 МбСтраницы: 165Описание:В монографии рассмот . . .

  • Книга Историко-философский ежегодник’1990

    Историко-философский ежегодник’1990

    Автор: Мотрошилова Н.В. (отв. ред.)Название: Историко-философский ежегодник’1990Издательство: М.: НаукаГод: 1991Страниц: 381Язык: РусскийФормат: DjVu в RAR архиве(+текстовый слой )Размер: 5,7мбВ оче . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Логическое программирование. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.