• Record number
    3682
  • Author

    Alexander Leitsch

  • Creator Role
    نويسنده
  • Title

    The Resolution Calclus

  • Publication
    Berlin Springer
  • Published Year
    1997
  • Fierst Pages
    0
  • Main Pages
    300
  • Collation
    300
  • Notes
    515^cL47 , Glossary
  • Reprint
    False
  • Contents
    0
  • Print issue
    0
  • Subject

    Calculus+Resolution+Calculus+Re dundancy and Deletion+Resolution as Decision Procedure+Complexity of Resolution

  • Class
    515
  • CutterNumber
    L47
  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=7&DC=3682