• RecordNumber
    29698
  • Title

    Logic and machines decision problems and complexity

  • Editor
    Edited by E. Borger ¶ G. Hasenjaeger ¶ D. Rodding
  • Publication
    Springer
  • Publication Year
    1984
  • Collation
    456 p.: ill, diagrs
  • Series
    Lecture notes in computer science; 171
  • Notes
    Procedings of the symposium rekursive kombinatorik; Institut fur mathematische logik und Grund lagenforschung der universitat Musnster,,1983
  • Bibliography
    Includes bibliographies
  • Subject

    Machine theory , Decision making

  • ADDED ENTRIES
    Borger, Egon, 1946- ed , ^cTitle:Rekursive Kombinatorik , Institute fur mathematise logic undGrundlagen for schung der universitat murster , ^dSeries:Lecture notes in computer science; 171
  • Main Class
    511
  • Cutter no
    L832
  • وارد كنندة اطلاعات
    soltani^d// , alipour^d2003/11/11 12:32:50
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=29698&Field=0&DTC=2