Proof Theory and Logic Programming: Computation as Proof Search (Bog, Hardback, Engelsk)
  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

Bemærk: Kan ikke garanteres før jul. Se dato på varen.

Forventes på lager: 31-12-2025

Levering: Kan forudbestilles (Forventes d. 31-12-2025)

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 31-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
ISBN-13 / EAN-13 9781009561297