Dale (INRIA Saclay-Ile-de-France) Miller Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
Viser 1 - 1 af 1 resultat
-
Proof Theory and Logic Programming: Computation as Proof Search (Bog, Hardback, Engelsk)
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and... Læs mere
Levering: 6 - 9 hverdage
Viser 1 - 1 af 1 resultat