• RecordNumber
    43158
  • LC Class
    QA
  • LC Number
    76.9
  • LC CutterNumber
    .A96,H35
  • Dewey Class
    511
  • Dewey Date
    .3
  • Title

    Handbook of automated reasoning

  • Author Statement
    editors, Alan Robinson and Andrei Voronkov
  • Publication
    Elsevier ;Cambridge, Mass. :MIT Press
  • Publication Year
    c2001
  • Collation
    2 v. (2122 p.):ill.;25 cm
  • Subject

    Automatic theorem proving,Qualitative reasoning

  • ADDED ENTRIES
    Robinson, J. A.
  • Holding Info.
    0444508139
  • Original By
    82/02
  • DocumentNumber
    52519
  • Biblography
    Includes bibliographical references and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=43158&Field=0&DTC=100