Поиск
На сайте: 567989 статей, 285490 фото.

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…»

Рецензии

См. также

Ссылки