• RecordNumber
    2835
  • Author

    Chang, Chin-Liang

  • Title

    Symbolic logic and mechanical theorem proving

  • Author Statement
    Chin-Liang Chang [and] Richard Char-Tung Lee
  • Publication
    Academic Press
  • Publication Year
    1987, C. 1973
  • Collation
    xiii, 331P., diagr., tables
  • Series
    Computer science classics
  • Notes
    0121703509 , Bibliography: P. 309-324
  • Subject

    Artificial intelligence , Automatic theorem proving , Logic,Symbolic and mathematical

  • ADDED ENTRIES
    Lee, Richard Char-Tung ,
  • LC Class
    QA
  • LC Number
    9
  • LC CutterNumber
    .C483
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=2835&Field=0&DTC=2