• RecordNumber
    34123
  • Title

    Logic programming : formal methods and practical applications

  • Author Statement
    edited by Christoph Beierle, Lutz Plغumer
  • Publication
    Elsevier
  • Publication Year
    1995
  • Collation
    xiv, 404 p. : ill
  • Series
    Studies in computer science and artificial intelligence, 11
  • Notes
    0444820922 , Includes bibliographical references
  • Subject

    Logic programming

  • ADDED ENTRIES
    Plغumer, Lutz. , Beierle, Christoph ,
  • LC Class
    QA
  • LC Number
    76.63
  • LC CutterNumber
    .L63294
  • LC Date
    1995
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=34123&Field=0&DTC=2