Похожие книги
Вы можете посоветовать похожие книги по сюжету, жанру, стилю или настроению. Предложенные вами книги другие пользователи увидят здесь, в блоке «Похожие книги».
Logic and Computation : Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
C. J. van Rijsbergen, L. C. Paulson
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
Получить эту книгу или продать свою
ПерейтиСодержание
Дополнительная информация об издании
ISBN: 0521395607
Язык: Русский
Жанры
