Formal notation; Arguments about propositions; The internal structure of propositions; Miscellaneous topics; Uniform proof procedures; Formalizing the notion of proof; Searching for a refutation; Criticisms of uniform proof procedures; Guiding search; Decision procedures for inequalities; Rewrite rules; Using semantic information to guide proofs; The productive use of failure; Formalizing control information; Mathematical invention; Concept formation; Forming mathematical models; Technical issues; Clausal form; Herbrand proof procedures; Pattern matching; Applications of artificial mathematics; Appendices; Index.Formal notation; Arguments about propositions; The internal structure of propositions; Miscellaneous topics; Uniform proof procedures; Formalizing the notion of proof; Searching for a refutation; Criticisms of uniform proof procedures; ...

Title | : | The Computer Modelling of Mathematical Reasoning |

Author | : | Alan Bundy |

Publisher | : | - 1983-01-01 |

Continue