Resolution (logic)
Автор: Lambert M. Surhone
Издательство:
Год издания: 2010
Страниц: 124
ISBN: 9786130343170
Аннотация:
High Quality Content by WIKIPEDIA articles! In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic. In other word
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Resolution (logic)" (Lambert M. Surhone) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |