• RecordNumber
    28285
  • LC Class
    QA
  • LC Number
    9
  • LC CutterNumber
    .C49
  • Dewey Class
    511
  • Dewey Date
    /.3
  • Author

    Chang, Chin-Liang, 1937-

  • Title

    Symbolic logic and mechanical theorem proving

  • Author Statement
    [by] Chin-liang Chang [and] Richard Char-Tung Lee
  • Publication
    Academic Press
  • Publication Year
    [1973]
  • Collation
    xiii, 331 p., illus., 24 cm
  • Series
    Computer science and applied mathematics
  • Subject

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

  • ADDED ENTRIES
    Lee, Richard Char-Tung, 1939- joint author
  • DocumentNumber
    6957
  • Biblography
    Bibliography: p. 309-324.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=28285&Field=0&DTC=100