Rippling: Meta-Level Guidance For Mathematical Reasoning
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, June of 2005 ‧
see product details
156,82€
10% OFF
CARD
TjJ3NFFtMXdOVnBWTWk4MlQwVlZkVzEwWjBWNVRGbExkRlJoVkZwb1dIbDJPRlpzWkROQlMxWm5Ta0ZtZUM5RldsaHZlVFpIWVRCVE1tMVhVR05sTURNdk1IazRUVzFyUjJ0UVJYbEJZa0V3TDI5M1psTm5WR1pXVTNFd1pESkhVRE4xZFZNNVdGVnFjamhNTHpoRmJGWk5ha1JoUW1rNFdHVm9VRTExVkdWak4xUlNhazF5YTBkbVprWm1jSFJpVEcwd1RHeERPRUo0TVc5S1ZrRjJkUzlpUW5CRlJUSnBjbWx5ZVc4eU5URXZhMFJZTkRWUFRETlFSMVp6YXpsWE0wSnFUM1JHVmpGSE5tRlNLME5vTkdoa1Zra3JSMll2U1d0WmRFWTNTM1pZVmlzMWVISnFVekZTVFVaUGRHWkVlVnBNVTNGQ00wNTRVWFJ1YVRnMlduZ3pWek5PUVZKWWJrZDNRMkY0YUV0NGJuSlljRXRrUVZGbU5VY3ZXWHBDYTNGRVN6STBOMVJhVlU1MGQzUnpjMlowZUZwU1oxSlFaa0ppZHpkU2EzTlVOR05NTUVabmEwRnRNM3B0YlhoTUwySlNhRkEwU0VOcGRrY3hRVFVyZFRrMU16Qkxha280SzNac1owbFlXbGsxYjFaNlpWWklhR05oVlZsNVNscEtSakp5VkVOWk4xcHJWRk5vVUN0SUswRXZTM1JKWTBsWlZWZE9Wek0xWmtNM1ZWUlVUMHRCU1dzclNrMWlRelJCVGpoclZtZDVhVVkxU1Vaa2JYaENhVGx2YjIwclNuUTFMMk55YkhJeWR6TTRlSGRPYVVsMmIzUXZiVk5HY0cxSFoxZ3JSbTlwUTFCM1owVjBTRWhVTkRSR2VGbFZaWE5WWm1ka00ySlFibTlRVG1sNVNtWjBaVWN4VTIxdWIxQndiMko2YzNKdWNHZFljMFpaWkVGQ2RtNWhaazlzUnpaWk1FdG9ZMGhvYjA1blVDc3ZPSEk0TVhST1JIcExPREF5YlhadVZWQm5TM3AyZFVKUVpXRmplaTlQTldKRGVYcFVXRkJhVUdreFZtMUlXSFZWZWlzMU5HcFFZa3BoVkc1UGMwUk1PV3gzZVRkU09HcElhMmhTWWpOWVVrZE5ZbXh0WTNsWlMwRmxhR0pKVlVaRWVFVXpRM2xXYlU5RGFFOTRZbGQzZWxacWFUUktjR1pWTW00MmFFMVZUblpQVkRaVU1rVm1iV1JMVERWUGJESlNNbUYwWXpORGNGaDJRblZxZUhaek9VWXdTazVEVkRjMGFDODBUa051ZFNzMlFtbGlObmRVZFZWbWJFZGhNRmhRVjFabU9WZDNRa1VyYW5GNmVVUjVOMjFyVlVZd2RtSlNialJ0VERkNVR6SnVkejA5OmtPVXQ5ZVpSOXNadjgzN0d3czcxR2c9PQ==
free shipping
Sell your book
SYNOPSIS
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.
DETeBook com proteção para wookreaderILS
| 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 |
BOOKS FROM THE SAME COLLECTION
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping