Rippling: Meta-Level Guidance for Mathematical Reasoning

Author : Alan Bundy,Dieter Hutter

Hardback

Published : Thursday 30 June 2005

ISBN : 9780521834490

Price : €102.95

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.

You may also like ...

New

Ships Quickly

The Hairy Dieters' Fast & Fresh

by KING SI

Paperback

25 Apr 2024

COOKERY

€23.50

Low in Stock

Rippling: Meta-Level Guidance for Mathe...

by Alan Bundy,Dieter Hutter

Hardback

30 Jun 2005

Mathematical logic

€102.95

Extended stock – Dispatch 5-7 days

New

Ted Bundy

by Al Cimino

Paperback

01 Jul 2024

True crime

€9.35

Extended stock – Dispatch 5-7 days

The Hairy Dieters' Eat Well Every Day

by Hairy Bikers

Paperback

27 Apr 2023

Health and wholefood cookery

€22.22

Extended stock – Dispatch 5-7 days

Reviews