• RecordNumber
    41121
  • Author

    Plumer, Lutz

  • Title

    Termunation proafs for logic programs

  • Author Statement
    Luty Plumer
  • Publication
    Springer
  • Publication Year
    [c1990]
  • Collation
    142p
  • Series
    Lecture notes in artificial intellingence; 446
  • Bibliography
    bibliography: p. [132]- 139
  • Subject

    kLogic programming

  • ADDED ENTRIES
    ^dSeries:Lecture notes in artificial intelligence, 446
  • Main Class
    005
  • Sub Class
    .131
  • Cutter no
    P734t
  • وارد كنندة اطلاعات
    Rezvany 0511^d//
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=41121&Field=0&DTC=2