Utvidet returrett til 31. januar 2025

Logic and Computation

- Interactive Proof with Cambridge LCF

Om Logic and Computation

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521395601
  • Bindende:
  • Paperback
  • Sider:
  • 320
  • Utgitt:
  • 26. juli 1990
  • Dimensjoner:
  • 187x247x19 mm.
  • Vekt:
  • 574 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av Logic and Computation

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.

Brukervurderinger av Logic and Computation



Finn lignende bøker
Boken Logic and Computation finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.