All categories
caret-down
cartcart

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Band 56)

 
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Band 56)

Description

A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.

Product details

EAN/ISBN:
9780521834490
Edition:
Illustrated
Format:
Illustriert
Medium:
Bound edition
Number of pages:
216
Publication date:
2005-06-30
Publisher:
Cambridge University Press
Manufacturer:
Unknown
EAN/ISBN:
9780521834490
Edition:
Illustrated
Format:
Illustriert
Medium:
Bound edition
Number of pages:
216
Publication date:
2005-06-30
Publisher:
Cambridge University Press
Manufacturer:
Unknown

Shipping

laposte
The edition supplied may vary.
Currently sold out