• RecordNumber
    11361
  • Title

    Computer science logic

  • Author Statement
    E. Borger [et. al]
  • Publication
    Springer
  • Publication Year
    c 1991
  • Collation
    iiii, 399 p
  • Series
    Lecture notes in computer science; 533
  • Bibliography
    Includes bibliographies
  • Subject

    Logic, symbolic and mathematical

  • ADDED ENTRIES
    Borger, E. ed , ^dSeries: Lecture notes in computer science; 533
  • Main Class
    005
  • Sub Class
    .131
  • Cutter no
    C738
  • وارد كنندة اطلاعات
    soltani^d//
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=11361&Field=0&DTC=2