Поиск
На сайте: 566853 статей, 285487 фото.

Automated Reasoning and Its Applications: Essays in Honor of Larry Wos (книга)

Automated Reasoning and Its Applications: Essays in Honor of Larry Wos
Автор: Robert Veroff
Оригинал издан: ????

«Automated Reasoning and Its Applications: Essays in Honor of Larry Wos»книга ???? года.

Содержание

Содержание

От издателя

«The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions. The…»

Рецензии

См. также

Ссылки