skip to content
The computer modelling of mathematical reasoning Preview this item
ClosePreview this item
Checking...

The computer modelling of mathematical reasoning

Author: Alan Bundy
Publisher: London ; New York : Academic Press, 1983.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Bundy, Alan.
Computer modelling of mathematical reasoning.
London ; New York : Academic Press, 1983
(OCoLC)644028817
Document Type: Book
All Authors / Contributors: Alan Bundy
ISBN: 0121412520 9780121412524 0121412504 9780121412500 0121412504
OCLC Number: 10333779
Notes: "This book started as notes for a postgraduate course in Mathematical Reasoning given in the Department of Artificial Intelligence at Edinburgh from 1979 onwards."--Preface.
Description: xiv, 322 pages : illustrations ; 23 cm
Contents: I. Formal notation --
Arguments about propositions --
The internal structure of propositions --
Miscellaneous topics --
II. Uniform proof procedures --
Formalizing the notion of proof --
Searching for a refutation --
Criticisms of uniform proof procedures --
III. Guiding search --
Decision procedures for inequalities --
Rewrite rules --
Using semantic information to guide proofs --
The productive use of failure --
Formalizing control information --
IV. Mathematical invention --
Concept formation --
Forming mathematical models --
V. Technical issues --
Clausal form --
Herbrand proof procedures --
Pattern matching --
Applications of artificial mathematics.
Responsibility: Alan Bundy, Department of Artificial Intelligence, Edinburgh.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/10333779> # The computer modelling of mathematical reasoning
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "10333779" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/theorem_proving> ; # THEOREM PROVING
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/anwendung> ; # Anwendung
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/redeneren> ; # Redeneren
    schema:about <http://id.worldcat.org/fast/1012179> ; # Mathematics--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/wiskunde> ; # Wiskunde
    schema:about <http://dewey.info/class/510.2854/e19/> ;
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/mathematik> ; # Mathematik
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Thing/mathematics> ; # Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/artificial_intelligence> ; # ARTIFICIAL INTELLIGENCE
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/computersimulaties> ; # Computersimulaties
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/mathematiques_informatique> ; # Mathématiques--Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/inteligencia_artificial_computacao> ; # Inteligencia Artificial (Computacao)
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/3514381#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:about <http://id.loc.gov/authorities/subjects/sh85082146> ; # Mathematics--Data processing
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:author <http://viaf.org/viaf/12460904> ; # Alan Bundy
    schema:bookFormat bgn:PrintBook ;
    schema:datePublished "1983" ;
    schema:description "I. Formal notation -- Arguments about propositions -- The internal structure of propositions -- Miscellaneous topics -- II. Uniform proof procedures -- Formalizing the notion of proof -- Searching for a refutation -- Criticisms of uniform proof procedures -- III. Guiding search -- Decision procedures for inequalities -- Rewrite rules -- Using semantic information to guide proofs -- The productive use of failure -- Formalizing control information -- IV. Mathematical invention -- Concept formation -- Forming mathematical models -- V. Technical issues -- Clausal form -- Herbrand proof procedures -- Pattern matching -- Applications of artificial mathematics."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3514381> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/644028817> ;
    schema:name "The computer modelling of mathematical reasoning"@en ;
    schema:productID "10333779" ;
    schema:workExample <http://worldcat.org/isbn/9780121412500> ;
    schema:workExample <http://worldcat.org/isbn/9780121412524> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8303630> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/10333779> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3514381#Topic/artificial_intelligence> # ARTIFICIAL INTELLIGENCE
    a schema:Intangible ;
    schema:name "ARTIFICIAL INTELLIGENCE"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3514381#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
    schema:name "Automatisches Beweisverfahren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3514381#Topic/computersimulaties> # Computersimulaties
    a schema:Intangible ;
    schema:name "Computersimulaties"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3514381#Topic/inteligencia_artificial_computacao> # Inteligencia Artificial (Computacao)
    a schema:Intangible ;
    schema:name "Inteligencia Artificial (Computacao)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3514381#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
    schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3514381#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
    schema:name "Künstliche Intelligenz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3514381#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3514381#Topic/mathematiques_informatique> # Mathématiques--Informatique
    a schema:Intangible ;
    schema:name "Mathématiques--Informatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3514381#Topic/theoremes_demonstration_automatique> # Théorèmes--Démonstration automatique
    a schema:Intangible ;
    schema:name "Théorèmes--Démonstration automatique"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85082146> # Mathematics--Data processing
    a schema:Intangible ;
    schema:name "Mathematics--Data processing"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1012179> # Mathematics--Data processing
    a schema:Intangible ;
    schema:name "Mathematics--Data processing"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://viaf.org/viaf/12460904> # Alan Bundy
    a schema:Person ;
    schema:familyName "Bundy" ;
    schema:givenName "Alan" ;
    schema:name "Alan Bundy" ;
    .

<http://worldcat.org/isbn/9780121412500>
    a schema:ProductModel ;
    schema:isbn "0121412504" ;
    schema:isbn "9780121412500" ;
    .

<http://worldcat.org/isbn/9780121412524>
    a schema:ProductModel ;
    schema:isbn "0121412520" ;
    schema:isbn "9780121412524" ;
    .

<http://www.worldcat.org/oclc/644028817>
    a schema:CreativeWork ;
    rdfs:label "Computer modelling of mathematical reasoning." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/10333779> ; # The computer modelling of mathematical reasoning
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.