عنوان
پدید آورنده
موضوع
رده
QA76.95 .B86 1983
QA76
.
95
.
B86
1983
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0121412504
(Number (ISBN
0121412504
(Number (ISBN
0121412520
(Number (ISBN
9780121412500
(Number (ISBN
9780121412524
Erroneous ISBN
0121413520 (pbk.)
Erroneous ISBN
0121413520
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
The computer modelling of mathematical reasoning /
General Material Designation
[Book]
First Statement of Responsibility
Alan Bundy, Department of Artificial Intelligence, Edinburgh.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Academic Press,
Date of Publication, Distribution, etc.
1983.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 322 pages :
Other Physical Details
illustrations ;
Dimensions
23 cm
GENERAL NOTES
Text of Note
"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.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 312-317) and index.
CONTENTS NOTE
Text of Note
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.
0
ACQUISITION INFORMATION NOTE
Terms of Availability
No price : CIP rev.
OTHER EDITION IN ANOTHER MEDIUM
Title
Computer modelling of mathematical reasoning.
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving.
Logic, Symbolic and mathematical.
Mathematics-- Data processing.
Intelligence artificielle.
Anwendung
ARTIFICIAL INTELLIGENCE.
Automatic theorem proving.
Automatisches Beweisverfahren
Computersimulaties.
Inteligencia Artificial (Computacao)
Künstliche Intelligenz
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Mathematics-- Data processing.
Mathematik
Mathematik.
Mathématiques-- Informatique.
Redeneren.
THEOREM PROVING.
Théorèmes-- Démonstration automatique.
Wiskunde.
UNIVERSAL DECIMAL CLASSIFICATION (UDC)
Number
518
Number
518.81
DEWEY DECIMAL CLASSIFICATION
Number
510/
.
2854
Number
511
.
3
Edition
19
Edition
19
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
95
Book number
.
B86
1983
OTHER CLASS NUMBERS
Class number
54
.
72
Class number
DT
706f
Class number
ST
304
Class number
ST
600
System Code
bcl
System Code
stub
System Code
rvk
System Code
rvk
PERSONAL NAME - PRIMARY RESPONSIBILITY
Bundy, Alan
ORIGINATING SOURCE
Date of Transaction
20200822084718.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
