Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science - Andrews, James H. (Simon Fraser University, British Columbia) - Books - Cambridge University Press - 9780521607544 - August 19, 2004
In case cover and title do not match, the title is correct

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

Price
S$ 74.50
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 14 - 27, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released August 19, 2004
ISBN13 9780521607544
Publishers Cambridge University Press
Pages 120
Dimensions 189 × 246 × 6 mm   ·   230 g
Language English  

See all of Andrews, James H. (Simon Fraser University, British Columbia) ( e.g. Paperback Book )