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…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
