Automated Theorem Proving: A Logical Basis

Automated Theorem Proving: A Logical Basis

Available
0
StarStarStarStarStar
0Reviews
Loveland, D.W.Loveland, D.W.
Automated Theorem Proving: A Logical Basis
product_type_E-book
pdf
Price
43.99 £
Automated Theorem Proving: A Logical Basis
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9781483296777
  • Publication Date: 19 Aug 2016
  • Publisher: Elsevier Science
  • Product language: English
  • Drm Setting: DRM