• RecordNumber
    2288
  • LC Class
    TA
  • LC Number
    165
  • LC CutterNumber
    .A98
  • LC Date
    1983
  • Dewey Class
    001
  • Dewey Number
    .53
  • Dewey CutterNumber
    /5 19
  • Title

    Automation of reasoning

  • Author Statement
    edited by Jorg Siekmann and Graham Wrightson
  • Publication
    Springer
  • Collation
    v. : ill. ; 25 cm
  • Subject

    Automatic theorem proving

  • ADDED ENTRIES
    Siekmann, Jorg H,Wrightson, Graham
  • Holding Info.
    0387120440
  • DocumentNumber
    8860
  • Biblography
    Includes bibliographical references.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=2288&Field=0&DTC=100