Математическая логика и автоматическое доказательство теорем
Автор: Чень Ч., Ли Р.
Год издания: 1973
Формат: djvu
Издат.: Наука
Страниц: 360
Размер: 8.73
Язык: Русский
Данное пособие расскажет вам о широко известном методе резолюций, который используют при доказательстве теорем, а так же при основании систем искусственного интеллекта.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12836 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
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 Автор: 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 Страниц: 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 Издательство: Макмиллан Страниц: 50мин Формат: MP3 Размер: 100МВ Качество: Отличное Язык: Русский Год из . . .
-
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) Автор: Evans V, O'Sullivan N Издательство: Экспресс паблишинг Страниц: 200мин Формат: MP3 Размер: 280МВ Качество: Отличное Язык: Английский Год издания: 2008 Click On . . .
-
Учебник шведского языка
Книга: Учебник шведского языка Автор: С.С. Маслова-Лашанская, Н.Н. Толстая Страниц: 270 Формат: DJVU Размер: 5.3 Мб Качество: Нормальное Язык: Русский Год издания: 1996 . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и автоматическое доказательство теорем. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.