Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 - Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1992)

Brand new: lowest price

AU $228.99

Free postage
  • Get it by Mon, 26 Mar - Thu, 12 Apr from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
The impossibility of the automation of logical reasoning. - Automatic proofs in mathematical logic and analysis. - Proving geometry statements of constructive type. - The central variable strategy of str've.