Logic and Computation: Interactive Proof with Cambridge LCF (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Mainframes og minidatamater
  6. Matematisk datateori
  7. Logic and Computation: Interactive Proof with Cambridge LCF

Logic and Computation: Interactive Proof with Cambridge LCF

(Bog, Paperback / softback, Engelsk)
Forfatter: Lawrence C. (University of Cambridge) Paulson
Logic and Computation: Interactive Proof with Cambridge LCF
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Mainframes og minidatamater Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Lawrence C. (University of Cambridge) Paulson
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 26-07-1990
Første udgivelsesår 1990
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 320
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 320 pages, Worked examples or Exercises
Mål 247 x 187 x 19
ISBN-13 / EAN-13 9780521395601