Logic and Computation: Interactive Proof with Cambridge LCF

Paulson, Lawrence C.

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
320
Parution
juillet 1990
Format
Livre broché
Langue
Anglais
Dimensions
247 × 174 × 17 cm
EAN
9780521395601
  • Résumé

A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page