• RecordNumber
    35579
  • Author

    Matiyasevich, U. V. (UriV.)

  • Uni. Title
    Desiataia problema Gil'berta. English
  • Title

    Hilbert's tenth problem

  • Author Statement
    Yuri V. Matiyasevich with a foreword by Martin Davis
  • Publication
    MIT Press
  • Publication Year
    1993
  • Collation
    xxii, 264 p.
  • Series
    Foundations of computing
  • Notes
    0262132958 , Includes bibliographical references
  • Subject

    Hilbert's tenth problem , Computable functions

  • LC Class
    QA
  • LC Number
    242
  • LC CutterNumber
    .M421
  • LC Date
    1993
  • وارد کنندة اطلاعات
    زاده محمدي
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=35579&Field=0&DTC=2