Interactive Theorem Proving

Interactive Theorem Proving

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author
E-book
pdf
Price
89.50 £

Options

  • Formats: pdf
  • ISBN: 9783642140525
  • Publication Date: 13 Jul 2010
  • Publisher: Springer Berlin Heidelberg
  • Drm Setting: DRM