Logic and Computation: Interactive Proof with Cambridge LCF (книга)
| Logic and Computation: Interactive Proof with Cambridge LCF | |
| Автор: | L. C. Paulson C. J. van Rijsbergen |
|---|---|
| Оригинал издан: | ???? |
«Logic and Computation: Interactive Proof with Cambridge LCF» — книга ???? года.
Содержание |
Содержание 
От издателя
«Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
