Математическая логика и автоматическое доказательство теорем


Книга Математическая логика и автоматическое доказательство теорем

Автор: Чень Ч., Ли Р.
Год издания: 1973
Формат: djvu
Издат.: Наука
Страниц: 360
Размер: 8.73
Язык: Русский

Данное пособие расскажет вам о широко известном методе резолюций, который используют при доказательстве теорем, а так же при основании систем искусственного интеллекта.


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



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

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

  • Книга Click On - Starter (Full set)

    Click On - Starter (Full set)

    Название: Click On - Starter (Full set) Автор: Evans V, O'Sullivan N Издательство: Экспесс паблишинг Страниц: 100мин Формат: MP3 Размер: 213МВ Качество: Отличное Язык: Английский Год издания: 2008 Cli . . .

  • Книга Французский язык для детей

    Французский язык для детей

    Книга: Французский язык для детей Автор: Монько М.М. Страниц: 384 Формат: DJVU Размер: 3,23 Мб Качество: Нормальное Язык: Русский Год издания: 1995 ISBN: 5-85684-053-4 . . .

  • Книга Курс испанского языка

    Курс испанского языка

    Книга: Курс испанского языка Автор: Л. Мехидо и П. Пилярес Страниц: 240 Формат: DOC Размер: 3 Мб Качество: Отличное Язык: Русский Год издания: 1965 Данное пособие предназначено для изучающих испанский . . .

  • Книга Болгарский язык. Имена существительные и прилагательные

    Болгарский язык. Имена существительные и прилагательные

    Название: Болгарский язык. Имена существительные и прилагательные Автор: Е.А. Захаревич, Г.В. Крылова, З.К. Шанова Издательство: Муравей Страниц: 40 Формат: DJVU Размер: 0,8 мб Качество: Отличное Язык . . .

  • Книга Russian for Tourists

    Russian for Tourists

    Название: Russian for Tourists Автор: V.G.Kostomarov, A.A.Leontyev Издательство: Русский язык Страниц: 183 Формат: PDF Размер: 9,54 Мб Качество: Отличное Язык: Английский Год издания: 1987 This handy . . .

  • Книга Linguatec - Voice Reader Home British English

    Linguatec - Voice Reader Home British English

    Название: Linguatec - Voice Reader Home British English Автор: Коллектив авторов Издательство: Linguatec Страниц: 1000 Формат: ISO Размер: 317МВ Качество: Отличное Язык: Русский Год издания: 2009 List . . .

  • Книга Harrington D,  LeBeau C - Speaking of Speech new edition

    Harrington D, LeBeau C - Speaking of Speech new edition

    Название: Harrington D, LeBeau C - Speaking of Speech new edition Автор: Harrington D, LeBeau C Издательство: Макмиллан Страниц: 50мин Формат: MP3 Размер: 100МВ Качество: Отличное Язык: Русский Год из . . .

  • Книга Click On - 1 (Full set)

    Click On - 1 (Full set)

    Название: Click On - 1 (Full set) Автор: Evans V, O'Sullivan N Издательство: Экспресс паблишинг Страниц: 180мин Формат: MP3 Размер: 386МВ Качество: Отличное Язык: Английский Год издания: 2008 Click On . . .

  • Книга Click On - 3 (Full set)

    Click On - 3 (Full set)

    Название: Click On - 3 (Full set) Автор: Evans V, O'Sullivan N Издательство: Экспресс паблишинг Страниц: 200мин Формат: MP3 Размер: 280МВ Качество: Отличное Язык: Английский Год издания: 2008 Click On . . .

  • Книга Учебник шведского языка

    Учебник шведского языка

    Книга: Учебник шведского языка Автор: С.С. Маслова-Лашанская, Н.Н. Толстая Страниц: 270 Формат: DJVU Размер: 5.3 Мб Качество: Нормальное Язык: Русский Год издания: 1996   . . .


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

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

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


Ой!

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