Automated Theorem Proving: A Logical Basis: 1987 by Donald W. Loveland, Wolfgang Bibel (Paperback, 1987)

Brand new: lowest price

AU $155.40

Free postage
  • Get it by Wed, 25 Jul - Thu, 9 Aug from Sydney, Australia
  •  • Brand new condition
  •  • 30-day returns - Buyer pays return postage
By Wolfgang Bibel, Donald W. Loveland. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors.