See buying choices for this item to see if it's one of the millions that are eligible for Amazon Prime.

3 used & new from �31.00

See All Buying Options

Have one to sell? Sell yours here

The Resolution Calculus (EATCS Monographs in Theoretical Computer Science)

Share your own customer images

Publisher: learn how customers can search inside this book.

The Resolution Calculus (EATCS Monographs in Theoretical Computer Science) (Hardcover)

by A. Leitsch (Author)

No customer reviews yet. Be the first.

Available from these sellers.

1 new from �32.00 2 used from �31.00

Product details

Hardcover: 300 pages
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K (31 Dec 1996)
Language English
ISBN-10: 3540618821
ISBN-13: 978-3540618829
Product Dimensions: 24.2 x 16.3 x 2.3 cm
Average Customer Review: No customer reviews yet. Be the first.
Amazon.co.uk Sales Rank: 1,891,102 in Books (See Bestsellers in Books)

Would you like to update product info or give feedback on images?

See Complete Table of Contents

Customers Viewing This Page May Be Interested in These Sponsored Links

(What is this?)

Computer Science

www.Career-in-IT.co.uk Become a qualified IT professional, No experience necessary

Calculus in 24 Hours

RapidLearningCenter.com/Calculus Master calculus the rich-media way, rapid learning visually in 24 hours

Product Description

Product Description
This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The first part deals with the traditional topics (Herbrand's theorem, completeness of resolution, refinements and deletion) but with many new features and concepts like normalization of clauses, resolution operators and search complexity. The second part gives a systematic treatment of recent research topics. It is shown how resolution decision procedures can be applied to solve the decision problem for some important first-order classes. The complexity of resolution is analyzed in terms of Herbrand complexity, new concepts are used to classify the complexity of refinements, and functional extension is introduced with resolution to give a strong calculus.

Suggested Tags from Similar Products

(What's this?)

Be the first one to add a relevant tag (keyword that's strongly related to this product)

theory of computing

mathematics

computers

alexander leitsch

Customer Reviews

There are no customer reviews yet. Create your own review

Video reviews

New feature! Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jsOnDisplayBlock { display: none; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; }

Customer Discussions

Beta (What's this?)

This product's forum (0 discussions)

	Discussion	Replies	Latest Post
	No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Prompts for sign-in

[Cancel]

Guidelines

Look for similar items by category

Feedback

Would you like to update product info or give feedback on images?
I am the Author, and I want to comment on my book.
I am the Publisher, and I want to comment on this book.

The Body Shop

Protect and boost your glow with The Body Shop Vitamin C Skin Boost.

›Shop The Body Shop

Up to 75% off Shoes

Save up to 75% on shoes for the whole family.

›Shop clearance shoes

Boys Smell

Lynx Africa Body Spray and After Shave Gift set

But we make sure they smell good...

›Discover male grooming at Amazon.co.uk

Treat Someone

With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

›Learn more about Gift Certificates

Where's My Stuff?

track your recent orders
view or change your orders in Your Account

Delivery and Returns

see our delivery rates and policies
thinking of returning an item? (See our Returns Policy)

Need Help?

Forgot your password?
Buy Gift Certificates.
still have questions? Visit our Help Pages

Your Recent History

(What's this?)

You have no recently viewed items or searches.

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

Look to the right column to find helpful suggestions for your shopping session.

Continue Shopping: Top Sellers

The Girl Who Played with Fire by Stieg Larsson

4.5 out of 5 stars (76)�3.86

Breaking Dawn (Twilight Saga) by Stephenie Meyer

4.1 out of 5 stars (464)�6.49

The Girl with the Dragon Tattoo by Stieg Larsson

4.1 out of 5 stars (165)�3.99

Bad Science by Ben Goldacre

4.6 out of 5 stars (142)�3.60


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon