Proof Theory and Logic Programming

1/1
Afbeelding van Proof Theory and Logic Programming
Bol
Prijzen vanaf
68,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Bol 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.
Description Beschrijving
Product Specifications Productspecificaties
Price History Prijshistorie
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Bol Logo
68,99
Gratis
68,99
Naar shop
Gratis Shipping Costs
Amazon Logo
74,53
3,00
77,53
Naar shop
3,00 Shipping Costs
Beschrijving (1)

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.

Productspecificaties

Merk Cambridge University Press
EAN
  • 9781009561297
Maat

Prijshistorie

* Prijshistorie bevat geen data van Amazon.

Prijzen voor het laatst bijgewerkt op:

Computational Logic and Proof Theory

46,99
Meer informatie Meer info

Proof Theory and Algebra in Logic

36,99
Vergelijk 3 shops 3 shops

Independently Published

Network Logic Programming Theory

98,94
Vergelijk 2 shops 2 shops

Roscoe C. Ferguson

Network Logic Programming Theory

72,01
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
68,99
Naar shop