Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

Rippling: Meta-Level Guidance for Mathematical Reasoning

Usually dispatched within 3 - 5 business days.

In Stock (544)

£ 132.00

Description

The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.

Book Details
EAN:
9780521834490
Binding:
Hardback
Dimensions(mm):
237 x 158 x 19
Publication Date:
2005-06-30
Publication Country:
United Kingdom