Metamathematik, Maschinen und Godels Beweis (Cambridge Tracts in theoretischer
47,39 €
In practice, however, there are a number of sophisticated automated reasoning programs that are quite effective at checking mathematical proofs. The computer verification using the Boyer-Moore theorem prover yields precise and rigorous proofs of these difficult theorems.
Jetzt bei Ebay:
![Produktbild - The Geometry of Fractal Sets [Cambridge Tracts in Mathematics, Series Number 85]](https://i.ebayimg.com/thumbs/images/g/zX0AAOSwfjhZccRP/s-l140.jpg)
