"Intel·ligència artificial." . . "Logique symbolique et mathématique." . . "logique mathématique." . . "Wiskunde." . . "Anwendung." . . "modèle mathématique." . . "Mathematics Data processing." . . "Intelligence artificielle." . . "intelligence artificielle." . "Automatic theorem proving." . . "Computer software." . . "Artificial intelligence." . . "Computersimulaties." . . "Mathématiques Informatique." . . "British Society for the Psychology of Learning Mathematics. Conference" . . "modélisation." . . "logiciel mathématique." . . "Matemàtica Processament de dades." . . "démonstration théorème." . . "Dimostrazione automatica di teoremi." . . "intelligence artificielle mathématiques raisonnement mathématique." . . "Automatisches Beweisverfahren." . . "Künstliche Intelligenz." . . "raisonnement." . . "Intel·ligència artificial Processament de dades." . . "Mathematik." . . "Inteligencia artificial." . . "mathématique." . . "Théorèmes Démonstration automatique." . . "Lògica matemàtica." . . "Matematica - Elaborazione dei dati." . . "Logica simbolica." . . . . . . . . . . . . . . . "The Computer Modeling of mathematical reasoning" . . . . . . . . . . . . . "The computer modelling of mathematical reasoning" . "The computer modelling of mathematical reasoning"@en . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Computer modelling of mathematical reasoning"@en . "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." . "Computer modelling of mathematical reasoning" . . . . . . . . . . . . . . . "The Computer modelling of mathematical reasoning" . . . . . . . . . . . "Logic, Symbolic and mathematical." . . "Inteligencia Artificial (Computacao)" . . "Számítógép modellek matematikai problémák." . . "Problémamegoldás matematikai számítógépes modellek." . . . . "Redeneren." . .