Поиск
На сайте: 567998 статей, 285524 фото.

Symbolic Logic and Mechanical Theorem Proving (книга)

Symbolic Logic and Mechanical Theorem Proving
Автор: Chin-Liang Chang
Richard Char-Tung Lee
Оригинал издан: ????

«Symbolic Logic and Mechanical Theorem Proving»книга ???? года.

Содержание

Содержание

От издателя

«This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9…»

Рецензии

См. также

Ссылки