Logic Programming Image close
Logic Programming by James H. Andrews
Logic Programming by James H. Andrews
Show Hide Adult Content
Logic Programming close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Logic Programming

Operational Semantics and Proof Theory
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$111.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $27.75 with Afterpay Learn more

6 weekly interest-free payments of $18.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Distinguished Dissertations in Computer Science

See all products in this series

Qualified Types by Mark P. Jones
$116.00
Qualified Types
by Mark P. Jones ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Specification and Proof in Real Time CSP by Jim Davies
$165.00
Specification and Proof in Real Time CSP
by Jim Davies ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Specification and Proof in Real Time CSP on Hardback by Jim Davies
$302.00
Specification and Proof in Real Time CSP
by Jim Davies ~ Hardback
Available - Usually ships in 3-4 weeks
A Compositional Approach to Performance Modelling by Jane Hillston
$129.00
A Compositional Approach to Performance Modelling
by Jane Hillston ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Efficient Algorithms for Listing Combinatorial Structures on Hardback by Leslie Ann Goldberg
$281.00
Efficient Algorithms for Listing Combinatorial Structures
by Leslie Ann Goldberg ~ Hardback
Available - Usually ships in 3-4 weeks
Efficient Algorithms for Listing Combinatorial Structures by Leslie Ann Goldberg
$116.00
Efficient Algorithms for Listing Combinatorial Structures
by Leslie Ann Goldberg ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Functional Programming and Input/Output by Andrew D. Gordon
$103.00
Functional Programming and Input/Output
by Andrew D. Gordon ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Three-Dimensional Integrated Circuit Layout on Hardback by A.C. Harter
$322.00
Three-Dimensional Integrated Circuit Layout
by A.C. Harter ~ Hardback
Available - Usually ships in 3-4 weeks
Axiomatic Domain Theory in Categories of Partial Maps by Marcelo P. Fiore
$131.00
Axiomatic Domain Theory in Categories of Partial Maps
by Marcelo P. Fiore ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Modular and Extensible Network Storage Architecture on Hardback by Sai Lai Lo
$279.00
A Modular and Extensible Network Storage Architecture
by Sai Lai Lo ~ Hardback
Available - Usually ships in 3-4 weeks
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot by D.C. Lee
$112.00
The Map-Building and Exploration Strategies of a Simple...
by D.C. Lee ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Three-Dimensional Integrated Circuit Layout by A.C. Harter
$129.00
Three-Dimensional Integrated Circuit Layout
by A.C. Harter ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Modular and Extensible Network Storage Architecture by Sai Lai Lo
$93.00
A Modular and Extensible Network Storage Architecture
by Sai Lai Lo ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Auditory Processing and Organisation by Martin Cooke
$111.00
Modelling Auditory Processing and Organisation
by Martin Cooke ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Affine Analysis of Image Sequences by Larry S. Shapiro
$111.00
Affine Analysis of Image Sequences
by Larry S. Shapiro ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.
Release date NZ
August 19th, 2004
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises
Pages
120
Dimensions
189x246x6
ISBN-13
9780521607544
Product ID
1978859

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation