Logic Programming
Operational Semantics and Proof Theory
Häftad, Engelska, 2004
Av British Columbia) Andrews, James H. (Simon Fraser University, J. Andrews, James H. Andrews
679 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2004-08-19
- Mått189 x 246 x 6 mm
- Vikt230 g
- FormatHäftad
- SpråkEngelska
- SerieDistinguished Dissertations in Computer Science
- Antal sidor120
- FörlagCambridge University Press
- ISBN9780521607544