• RecordNumber
    44908
  • Author

    Gerard Huet

  • Title

    Logical frameworks

  • Publication
    Cambridge University Press
  • Publication Year
    1991
  • Collation
    404
  • نام فايل
    IUST eb-155 -- eb155d26
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=44908&Field=0&DTC=2