Automated theorem proving : theory and practice

Newborn, Monroe

Publication Details Click to collapse Cite/Export

  • Creator Monty Newborn
  • Format Books
  • Publication New York : Springer, [2001] ©2001
  • Physical Details
    • xiii, 231 pages : illustrations ; 24 cm + 1 computer laser optical disc (4 3/4 in)
  • ISBNs 9780387950754, 0387950753
  • OCLC ocm44461999

Notes

  • Includes bibliographical references (pages [207]-210) and index.
  • System requirements: Unix, Linux, Solaris, FreeBSD, or AIX.
Checking the Web...