Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science - Andrews, James H. (Simon Fraser University, British Columbia) - Böcker - Cambridge University Press - 9780521607544 - 19 augusti 2004
Om omslag och titel inte matchar är det titeln som gäller

Andrews, James H. (Simon Fraser University, British Columbia)
Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science

Pris
SEK 569

Beställningsvara

Förväntad leverans 6 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies need to consult this book as the only source for some essential and new ideas in the area.

120 pages, black & white illustrations

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 19 augusti 2004
ISBN13 9780521607544
Utgivare Cambridge University Press
Antal sidor 120
Mått 189 × 246 × 6 mm   ·   230 g
Språk Engelska  

Se alt med Andrews, James H. (Simon Fraser University, British Columbia) ( t.ex. Pocketbok )