• RecordNumber
    29687
  • Title

    Logic and computer science

  • Author Statement
    S. Homer [et al]
  • Publication
    Springer
  • Publication Year
    [c1990]
  • Collation
    162 p
  • Series
    Lecture notes in mathematics; 1429
  • Notes
    Montecatini Terme, 1988
  • Subject

    Logic, symbolic and mathematical , Computer programs- Corretness

  • ADDED ENTRIES
    Homer, S. ed , ^dSeries:Lecture notes in mathematics, 1429
  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    L832
  • وارد كنندة اطلاعات
    soltani^d// , khodaei^d2003/08/30 10:33:26
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=29687&Field=0&DTC=2