Magnificent Marvel Supersale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Interviews | March 9, 2015

    Rhianna Walton: IMG Erik Larson: The Powells.com Interview



    Erik LarsonI've been a fan of Erik Larson's riveting brand of narrative history for years, and his latest book, Dead Wake: The Last Crossing of the Lusitania,... Continue »
    1. $19.60 Sale Hardcover add to wish list

    spacer
Qualifying orders ship free.
$61.25
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- General

Logic Programming

by

Logic Programming Cover

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

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.

Synopsis:

A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.

Table of Contents

1. Introduction; 2. Operational semantics; 3. Characterizing parallel systems; 4. Characterizing sequential systems; 5. Approaches to incompleteness; 6. Summary and future directions; Examples; Index of definitions; Index.

Product Details

ISBN:
9780521607544
Author:
Andrews, J.
Publisher:
Cambridge University Press
Author:
Andrews, James H.
Location:
Cambridge
Subject:
Programming - General
Subject:
Programming - Software Development
Subject:
Logic programming
Subject:
Automatic theorem proving
Subject:
Programming languages (Electronic computers) -- Semantics.
Subject:
General Computers
Subject:
Programming Languages - General
Subject:
Software Development & Engineering - General
Subject:
Software Engineering-General
Edition Description:
Trade paper
Series:
Distinguished Dissertations in Computer Science
Series Volume:
4
Publication Date:
20040531
Binding:
TRADE PAPER
Grade Level:
Professional and scholarly
Language:
English
Pages:
120
Dimensions:
9.60x7.40x.32 in. .50 lbs.

Related Subjects

Arts and Entertainment » Music » Instruction and Study » Techniques
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages

Logic Programming New Trade Paper
0 stars - 0 reviews
$61.25 In Stock
Product details 120 pages Cambridge University Press - English 9780521607544 Reviews:
"Synopsis" by , 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.
"Synopsis" by , A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.