• RecordNumber
    32254
  • LC Class
    QA
  • LC Number
    76.9
  • LC CutterNumber
    .A96,F68
  • LC Date
    1996
  • Dewey Class
    511
  • Dewey Date
    .3
  • Author

    Fitting, Melvin, 1942-

  • Title

    First-order logic and automated theorem proving

  • Author Statement
    Melvin Fitting
  • Edition
    2nd ed
  • Publication
    Springer
  • Publication Year
    c1996
  • Collation
    xvi, 326 p.: ill.; 25 cm
  • Series
    Graduate texts in computer science
  • Subject

    Automatic theorem proving,Logic, Symbolic and mathematical

  • Holding Info.
    0387945938
  • Original By
    77/05
  • DocumentNumber
    44265
  • Biblography
    Includes bibliographical references (p. [315]-318) and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=32254&Field=0&DTC=100