Skip to content

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
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
Back to Top

More Copies for Sale

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$147.53
$12.81 shipping to USA

Show Details

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.
Item Price
$147.53
$12.81 shipping to USA
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation...
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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
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
Automation of Reasoning
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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