Bavaria I., Kirchner C., Kirchner H., Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings (Lecture Notes in Computer Science, 1421)
, 3540646752
Описание книги
Поделиться ссылкой на книгу
Об авторе
Последние поступления в рубрике "Научно-популярная литература "
 |
Искусственный интеллект. От компьютеров к киборгам Волков А.М.
Искусственный интеллект или искусный интеллектуал? Какое будущее ждет человека с учетом бурно развивающейся цифровой революции? Сможем ли мы соединить живую материю и цифровые, электронные технологии? Список вопросов всё растет, а ответы пока только...... |
 |
Очерки истории кибернетики в СССР. Выпуск №31 Пихорович В.
Книга посвящена истории проекта, который специалисты сравнивали по значимости с космическим и атомным. Речь идет о проблеме использования информационных технологий в управлении экономикой, создания общегосударственной автоматизированной системы...... |
 |
Очерки истории кибернетики в СССР. Выпуск №31 Пихорович В.
Книга посвящена истории проекта, который специалисты сравнивали по значимости с космическим и атомным. Речь идет о проблеме использования информационных технологий в управлении экономикой, создания общегосударственной автоматизированной системы...... |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Bavaria I., Kirchner C., Kirchner H., Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings (Lecture Notes in Computer Science, 1421) в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.
