• RecordNumber
    73275
  • Author

    Newborn, Monroe

  • Title

    Automated theorem proving : theory and practice

  • Author Statement
    Monty Newborn
  • Publication
    Springer
  • Publication Year
    c2001
  • Collation
    xiii, 231 p. : ill + 1 computer laser optical disc (4 3/4 in)
  • Bibliography
    Includes bibliographical references
  • Subject

    Automatic theorem proving

  • Main Class
    004
  • Sub Class
    .015113
  • Cutter no
    N534a
  • وارد كنندة اطلاعات
    samadi^d2004/05/22 10:52:04
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=73275&Field=0&DTC=2