Isabelle/HOL : A Proof Assistant for Higher-Order Logic

ISBN
9783540433767
$59.99
Author Nipkow, Tobias
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2002
  • xiv, 226
  • Yes
  • 2283
  • Print
  • QA75.5-76.95