Programming with Higher-Order Logic

Programming with Higher-Order Logic

Available
0
StarStarStarStarStar
0Reviews
Nadathur, GopalanNadathur, Gopalan, Miller, Dale
E-book
pdf
Price
0.01 £
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9781139021326
  • Publication Date: 5 Aug 2012
  • Publisher: Cambridge University Press
  • Product language: English
  • Drm Setting: DRM