The computer modelling of mathematical reasoning

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/3514381#Topic/automatisches_beweisverfahren
http://experiment.worldcat.org/entity/work/data/3514381#Topic/mathematiques_informatique
http://experiment.worldcat.org/entity/work/data/3514381#Topic/raisonnement
http://experiment.worldcat.org/entity/work/data/3514381#Topic/theoremes_demonstration_automatique
http://id.loc.gov/authorities/subjects/sh85008180
http://experiment.worldcat.org/entity/work/data/3514381#Topic/matematica_processament_de_dades
http://id.worldcat.org/fast/822777
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/3514381#Topic/modelisation
http://experiment.worldcat.org/entity/work/data/3514381#Topic/matematica_elaborazione_dei_dati
http://experiment.worldcat.org/entity/work/data/3514381#Topic/redeneren
http://experiment.worldcat.org/entity/work/data/3514381#Topic/mathematik
http://experiment.worldcat.org/entity/work/data/3514381#Topic/logiciel_mathematique
http://experiment.worldcat.org/entity/work/data/3514381#Topic/logica_matematica
http://id.worldcat.org/fast/1012179
http://experiment.worldcat.org/entity/work/data/3514381#Topic/inteligencia_artificial
http://experiment.worldcat.org/entity/work/data/3514381#Topic/intelligence_artificielle_mathematiques_raisonnement_mathematique
http://experiment.worldcat.org/entity/work/data/3514381#Topic/wiskunde
http://experiment.worldcat.org/entity/work/data/3514381#Topic/logic_symbolic_and_mathematical
http://experiment.worldcat.org/entity/work/data/3514381#Topic/modele_mathematique
http://experiment.worldcat.org/entity/work/data/3514381#Topic/mathematique
http://experiment.worldcat.org/entity/work/data/3514381#Topic/kunstliche_intelligenz
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/3514381#Topic/logica_simbolica
http://experiment.worldcat.org/entity/work/data/3514381#Topic/dimostrazione_automatica_di_teoremi
http://id.worldcat.org/fast/817247
http://experiment.worldcat.org/entity/work/data/3514381#Topic/automatic_theorem_proving
http://id.loc.gov/authorities/subjects/sh85082146
http://experiment.worldcat.org/entity/work/data/3514381#Topic/artificial_intelligence
http://experiment.worldcat.org/entity/work/data/3514381#Topic/computersimulaties
http://experiment.worldcat.org/entity/work/data/3514381#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/3514381#Topic/inteligencia_artificial_computacao
http://experiment.worldcat.org/entity/work/data/3514381#Topic/anwendung
http://id.loc.gov/authorities/subjects/sh85010111
http://experiment.worldcat.org/entity/work/data/3514381#Topic/demonstration_theoreme
http://experiment.worldcat.org/entity/work/data/3514381#Topic/szamitogep_modellek_matematikai_problemak
http://experiment.worldcat.org/entity/work/data/3514381#Topic/intel_ligencia_artificial
http://experiment.worldcat.org/entity/work/data/3514381#Topic/computer_software
http://experiment.worldcat.org/entity/work/data/3514381#Topic/intelligence_artificielle
http://experiment.worldcat.org/entity/work/data/3514381#Topic/problemamegoldas_matematikai_szamitogepes_modellek
http://experiment.worldcat.org/entity/work/data/3514381#Topic/intel_ligencia_artificial_processament_de_dades
http://experiment.worldcat.org/entity/work/data/3514381#Topic/mathematics_data_processing
http://experiment.worldcat.org/entity/work/data/3514381#Topic/logique_mathematique

http://schema.org/author

http://worldcat.org/entity/person/id/2627006631

http://schema.org/contributor

http://id.loc.gov/authorities/names/n85007049
http://viaf.org/viaf/130243464
http://experiment.worldcat.org/entity/work/data/3514381#Organization/british_society_for_the_psychology_of_learning_mathematics_conference
http://worldcat.org/entity/person/id/2627006631

http://schema.org/creator

http://worldcat.org/entity/person/id/2627006631

http://schema.org/description

"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."

http://schema.org/name

"The Computer Modeling of mathematical reasoning"
"The computer modelling of mathematical reasoning"
"The computer modelling of mathematical reasoning"@en
"Computer modelling of mathematical reasoning"
"Computer modelling of mathematical reasoning"@en
"The Computer modelling of mathematical reasoning"

http://schema.org/workExample

http://www.worldcat.org/oclc/443119462
http://www.worldcat.org/oclc/898774967
http://www.worldcat.org/oclc/801934990
http://www.worldcat.org/oclc/856755706
http://www.worldcat.org/oclc/908797378
http://www.worldcat.org/oclc/59289386
http://www.worldcat.org/oclc/695619604
http://www.worldcat.org/oclc/11770419
http://www.worldcat.org/oclc/644028817
http://www.worldcat.org/oclc/17239921
http://www.worldcat.org/oclc/475813165
http://www.worldcat.org/oclc/850782510
http://www.worldcat.org/oclc/466048395
http://www.worldcat.org/oclc/797137930
http://www.worldcat.org/oclc/603147515
http://www.worldcat.org/oclc/256446767
http://www.worldcat.org/oclc/693435600
http://www.worldcat.org/oclc/757288021
http://www.worldcat.org/oclc/606016865
http://www.worldcat.org/oclc/833211491
http://www.worldcat.org/oclc/805048215
http://www.worldcat.org/oclc/10333779
http://www.worldcat.org/oclc/300576294
http://www.worldcat.org/oclc/220815668
http://www.worldcat.org/oclc/874801906

British Society for the Psychology of Learning Mathematics. Conference

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"British Society for the Psychology of Learning Mathematics. Conference"

http://experiment.worldcat.org/entity/work/data/3514381#Organization/british_society_for_the_psychology_of_learning_mathematics_conference

Anwendung.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Anwendung."