1. Forside
  2. Bøger
  3. Engelske bøger
  4. Programmeringsteknikker
  5. Programmeringssprog og scriptsprog
  6. Dataarkitektur og logisk design
  7. Proof Theory and Logic Programming: Computation as Proof Search

Proof Theory and Logic Programming: Computation as Proof Search

(Bog, Hardback, Engelsk)
Forfatter: Dale (INRIA Saclay-Ile-de-France) Miller
Forlag: Cambridge University Press

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Dataarkitektur og logisk design Programmeringssprog og scriptsprog Programmeringsteknikker
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Dale (INRIA Saclay-Ile-de-France) Miller
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 18-12-2025
Første udgivelsesår 2025
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 334
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 334 pages, Worked examples or Exercises
Mål 235 x 161 x 26
ISBN-13 / EAN-13 9781009561297