Dale (INRIA Saclay-Ile-de-France) Miller Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  736,- kr

  FRAGT FRA 39,-

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

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

  Proof Theory and Logic Programming: Computation as Proof Search (Bog, Hardback, Engelsk)

  Af: Dale (INRIA Saclay-Ile-de-France) Miller

  This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and... Læs mere

  PRIS

  736,- kr

  FRAGT FRA 39,-

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

  Læg i kurv