Automated Reasoning
Автор: Frederic P. Miller
Издательство:
Год издания: 2010
Страниц: 80
ISBN: 9786130811280
Аннотация:
High Quality Content by WIKIPEDIA articles! Automated reasoning is an area of computer science dedicated to understanding different aspects of reasoning in a way that allows the creation of software which allows computers to reason completely or nearly c
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Automated Reasoning" (Frederic P. Miller) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |