Computational Logic

Available
0
StarStarStarStarStar
0Reviews
ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization. The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the theory, and correctness of a tautology-checker. Topics include mechanical proofs, informal development...
Read more
E-book
pdf
Price
43.99 £
ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization. The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the theory, and correctness of a tautology-checker. Topics include mechanical proofs, informal development...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9781483277882
  • Publication Date: 25 Jun 2014
  • Publisher: Elsevier Science
  • Product language: English
  • Drm Setting: DRM