• RecordNumber
    32315
  • LC Class
    QA
  • LC Number
    303.5
  • LC CutterNumber
    .L4
  • Author

    Leitsch, Alexander

  • Title

    resolution calculus

  • Author Statement
    Alexander Leitsch
  • Publication
    Springer
  • Publication Year
    1997
  • Collation
    viii, 300 p.: illus.; 24 cm
  • Series
    Texts in theoretical computer science
  • Subject

    Calculus -- Data processing

  • Holding Info.
    3540618821,3540618821
  • Original By
    77/05
  • DocumentNumber
    44322
  • Biblography
    Includes bibliographical references and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=32315&Field=0&DTC=100