Skip to main content Skip to footer content

A Machine Program for Theorem-proving

Martin Davis , George Logemann , Donald Loveland

Sep 09, 2015

$29.81

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 150 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

38

Publisher: Creative Media Partners, LLC

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9781342126283

Ouroboros; or, The Mechanical Extension of Mankind

Garet Garrett Paperback
$20.90
Ouroboros; or, The Mechanical Extension of Mankind

Garet Garrett Hardcover
$33.77
The use of the Boxstep Method in Discrete Optimization

Roy Earl Marsten Hardcover
$28.95
2 formats available
Celestial Objects For Common Telescopes

Thomas William Webb Paperback
$46.99
Celestial Objects For Common Telescopes

T W. 1807-1885 Webb Paperback
$37.99
Celestial Objects for Common Telescopes

Thomas William Webb Paperback
$31.50
Spaces of Riemann Surfaces as Bounded Domains

Lipman Bers Paperback
$16.94
Isomorphism of Strongly Regular Graphs

Richard Cole Hardcover
$29.81
Isomorphism of Strongly Regular Graphs

Richard Cole Paperback
$16.94
Remonetization of Silver

John Percival Jones Paperback
$29.81
Underwater Explosion Bubbles IV. Summary of Results and Numerical Computations

Ignace Kolodner Hardcover
$32.78
Underwater Explosion Bubbles IV. Summary of Results and Numerical Computations

Ignace Kolodner Paperback
$18.92
Study Of A Rectangular Loop As A Wireless Receiver...

Ernest Benedict Morse Paperback
$21.99
Motor Cars and the Application of Mechanical Power to Road Vehicles

Rhys Jenkins Paperback
$41.95
Motor Cars and the Application of Mechanical Power to Road Vehicles

Rhys Jenkins Hardcover
$64.95
Motor Cars and the Application of Mechanical Power to Road Vehicles

Rhys Jenkins Paperback
$24.95
The Design of Diagrams for Engineering Formulas and the Theory of Nomography

Laurence 1876-1950 Hewes Hardcover
$33.77
The One Great Force: The Cause of Gravitation, Planetary Motion, Heat, Light, Electricity, Magnetism, Chemical Affinity,

Crisfield J Johnson Hardcover
$31.95
The One Great Force: The Cause of Gravitation, Planetary Motion, Heat, Light, Electricity, Magnetism, Chemical Affinity,

Crisfield J Johnson Paperback
$17.95
Radical-Mechanics of Animal Locomotion

William Pratt Wainwright Paperback
$26.84

Editorial reviews

Author

The use of the Boxstep Method in Discrete Optimization

Roy Earl Marsten Hardcover
$28.95
2 formats available
The Great Analysis a Plea for a Rational World-Order

Gilbert Murray Paperback
$20.90
The Great Analysis a Plea for a Rational World-Order

Gilbert Murray Hardcover
$33.77
Methods And Theories For The Solution Of Problems Of Geometrical Constructions Applied To 410 Problems

Julius Petersen Paperback
$20.90
A Model for the Description and Evaluation of Technical Problem Solving

Daniel S Frischmuth Hardcover
$29.95
2 formats available
Rational geometry; a text-book for the science of space based on Hilbert's foundations

George Bruce Halsted Paperback
$20.39
Methods And Theories For The Solution Of Problems Of Geometrical Constructions Applied To 410 Problems

Julius Petersen Hardcover
$33.77
Application of Machine Learning to Toolmarks: Statistically Based Methods for Impression Pattern Comparisons - Scholar's Choice Edition

Nicholas Petraco Paperback
$21.99
The Design and Construction of a Machine for Testing Commutators and Brushes. A Thesis

Lindsay H Miller Paperback
$16.94
The Method Of Unity, Applied To Simple And Compound Proportion

Hardcover
$25.95
2 formats available
Toward an Extrapolation of the Simulated Annealing Convergence Theory Onto the Simple Genetic Algorithm

Thomas E Davis Paperback
$21.89
The Design and Construction of a Machine for Testing Commutators and Brushes. A Thesis

Lindsay H Miller Hardcover
$29.81
On the N-Job, One-Machine, Sequence-Independent Scheduling Problem With Tardiness Penalties: A Branch-Bound Solution (Classic Reprint)

Joel Shwimer Paperback
$12.50
3 formats available
The Formal Concept: For The Student Only...

Paperback
$16.99
A Process For Vectoring Offensive Information Warfare As A Primary Weapon Option Within The United States Air Force

Sheila G Bennett Paperback
$60.51
Toward an Extrapolation of the Simulated Annealing Convergence Theory Onto the Simple Genetic Algorithm

Thomas E Davis Hardcover
$34.76
Interaction Process Analysis; a Method for the Study of Small Groups.

Robert Freed 1916- Bales Paperback
$27.50
Aeroplane Design, and A Simple Explanation of Inherent Stability

F S Barnwell Paperback
$20.90
A Detatched Shock Calculation by Second Order Finite Differences

Arnold Lapidus Paperback
$18.92
Answers Become Questions: a guide for living at the interface between the finite and the infinite

John Martin Ramsay Paperback
$26.00