• RecordNumber
    62370
  • Title

    Automation of reasoning

  • Editor
    edited by Jorg Siekmann ¶ Graham Wrightson
  • Publication
    Springer
  • Publication Year
    [c1983]
  • Collation
    2v.: ill, tables
  • Series
    Symbolic computation
  • Bibliography
    Includes bibliographies
  • Contents
    v.1. Classical papers on computational logic 1957-1966.- v.2. Classical papers on computational logic 1967-1970
  • Subject

    Logic Symbolic and mathematical

  • ADDED ENTRIES
    Siekmann, Jorg, ed
  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    A939
  • وارد كنندة اطلاعات
    79.07^d// , alipour^d2003/11/11 12:57:35
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=62370&Field=0&DTC=2