10% OFF
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, June of 2005 ‧
156,82€
10% OFF CARD
free shipping
Sell ​​your book
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.

Rippling: Meta-Level Guidance For Mathematical Reasoning

by Dieter Hutter, Andrew (Heriot-Watt University, Edinburgh) Ireland, David (Eth Zentrum, Switzerland) Basin e Alan (University Of Edinburgh) Bundy

Property Description
ISBN: 9780521834490
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: June of 2005
Language: English
Cover: Hardcover
Pages: 216
Format: Book
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: Books in English > Science > Mathematics
EAN: 9780521834490