• RecordNumber
    17134
  • Author

    Fitting, Melvin

  • Title

    First-order logic and automated theorem proving

  • Author Statement
    Melvin Fitting
  • Publication
    Springer
  • Publication Year
    c1990
  • Collation
    xiii, 242p
  • Subject

    Automated theorem proving , Logic, Symbolic and mathematical

  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    F547f
  • وارد كنندة اطلاعات
    ^d//
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=17134&Field=0&DTC=2