• RecordNumber
    35493
  • Author

    Huth, Michael, 1962-

  • Title

    Logic in computer science : modelling and reasoning about systems

  • Author Statement
    Michael Huth, Mark Ryan
  • Edition
    2nd ed.
  • Publication
    Cambridge University Press
  • Publication Year
    2004
  • Collation
    xiv, 427 p. : ill.
  • Notes
    052154310X , Includes bibliographical references (p. 414-417)
  • Subject

    Computer logic , Logic programming (Computer science)

  • ADDED ENTRIES
    پ Ryan, Mark, 1962- , ع
  • LC Class
    QA
  • LC Number
    76.9
  • LC CutterNumber
    L63H88
  • LC Date
    2004
  • وارد کنندة اطلاعات
    zadehmohammadi
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=35493&Field=0&DTC=2