Description:
Paperback / softback. New. Gelernter finished a computer program to prove simple high school geometry theorems. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
Stock Photo: Cover May Be Different
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 Paperback - 2012
by J. Siekmann (Editor); G. Wrightson (Editor)
Details
- Title Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
- Author J. Siekmann (Editor); G. Wrightson (Editor)
- Binding Paperback
- Edition Softcover reprin
- Pages 528
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2012-01-10
- Features Bibliography
- ISBN 9783642819544 / 3642819540
- Weight 1.89 lbs (0.86 kg)
- Dimensions 9.61 x 6.69 x 1.1 in (24.41 x 16.99 x 2.79 cm)
- Dewey Decimal Code 005.131
More Copies for Sale
Stock Photo: Cover May Be Different
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
by Jorg Siekmann
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$147.53$12.81 shipping to USA
Show Details
Item Price
$147.53
$12.81
shipping to USA
Stock Photo: Cover May Be Different
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation / Artificial Intelligence)
by Siekmann, J. (Editor) / Wrightson, G. (Editor)
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$149.42$12.88 shipping to USA
Show Details
Description:
Springer-Verlag, 2012. Paperback. New. reprint edition. 537 pages. 9.61x6.61x1.50 inches.
Item Price
$149.42
$12.88
shipping to USA
Stock Photo: Cover May Be Different
Automation of Reasoning
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
$145.18$3.99 shipping to USA
Show Details
Description:
Springer , pp. 546, . Papeback. New.
Item Price
$145.18
$3.99
shipping to USA