Математическая логика и автоматическое доказательство теорем
Автор: Чень Ч., Ли Р.
Год издания: 1973
Формат: djvu
Издат.: Наука
Страниц: 360
Размер: 8.73
Язык: Русский
Данное пособие расскажет вам о широко известном методе резолюций, который используют при доказательстве теорем, а так же при основании систем искусственного интеллекта.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12838 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Общая психология. Тексты. Том 1. Введение djvu + ocr 6,84Мб
Авторы: Петухов В.В., Дормашев Ю.Б., Капустин С.А.Название: Общая психология. Тексты. Том 1. ВведениеГод издания: 2001Страниц: 608Формат: djvu + OCRРазмер: 6,84 мбИздательство: УМК "Психология", Гене . . .
-
Руководство по дерматокосметологии djvu 164Мб
Название: Руководство по дерматокосметологииАвтор: Под редакцией Е.Р.Аравийской и Е.В.СоколовскогоИздательство: СПб: ФОЛИАНТГод издания: 2008Страниц: 632Язык: русскийФормат: DJVU Размер: 164 МбВ руко . . .
-
Английский язык. Справочник школьника djvu 8,6Мб
Автор:Шалаева Г. П., Хаскин В. П.Название: Английский язык. Справочник школьникаИздательство: АстГод: 1997Формат: djvuРазмер: 8,6 МбДля сайта: www.bankknig.netДанное учебное издание составлено в соотв . . .
-
Буклет вышивки крестиком "Большой орнамент" jpg 18Мб
Название: Буклет вышивки крестиком "Большой орнамент"Год / месяц: 2008Номер: разовое изданиеФормат: jpgРазмер: 18 мбЛучшие идеи для Вашей кухни. Если вам хочется сделать свою кухню более уютной и комф . . .
-
Вышивка бисером. Спецвыпуск №3 2009 djvu 5,66Мб
Название: Вышивка бисером. Спецвыпуск №3 2009Издательство: ООО "Пресс-экспресс"Год: 2009Номер: 3Страниц: 20Формат: djvuРазмер: 5.66 MbБисероплетение. От азов - к мастерству. +Уроки техники "кирпичный . . .
-
Устройство и ремонт металлической кровли pdf
Название: Устройство и ремонт металлической кровли.Автор: Якимец А.М.Страниц: 20Издательство: М., СтройиздатГод издания: 19..Формат : PDFРазмер: 2,31 Даны рекомендации по устройству и ремонту . . .
-
Популярная Энциклопедия. Ремонтные работы скачать книгу бесплатно iso
Автор:КоллективНазвание: Популярная Энциклопедия. Ремонтные работыИздательство: КорАксГод: 2008Формат: ISOРазмер: 114+101МВСтраниц:1000Энциклопедия содержит 105 разделов, посвященных различным аспекта . . .
-
Буклет вышивки крестиком "Чайная церемония" jpg 17Мб
Название: Буклет вышивки крестиком "Чайная церемония"Год / месяц: 2008Номер: разовое изданиеФормат: jpgРазмер: 17 мб Лучшие идеи для Вашей кухни. Если вам хочется сделать свою кухню более уютной и ком . . .
-
Великие художники. Альбом 17. Перов скачать книгу бесплатно pdf 105Мб
Сетевая премьера !!!Мастера живописи и их шедевры: Перов Являясь одним из онователей критического реализма в искусстве, Василий Григорьевич Перов (1833 (1834) -1882) оказал огромное влияние на отечест . . .
-
Дарья Донцова - Всем сестрам по мозгам rtf, fb2 / rar 10,49Мб
Название: Всем сестрам по мозгамАвтор: Дарья ДонцоваИздательство: ЭксмоЖанр: Иронический детективГод: 2012Страниц: 352Язык: РусскийФормат: rtf, fb2 / rarРазмер: 10,49 Mb Хорошо, когда тебя зовут Татья . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и автоматическое доказательство теорем. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.