• RecordNumber
    69137
  • Author

    Workshop on Computer Science Logic, 3rd, Kaiserslautern, 1989

  • Title

    CSL ʹ89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

  • Editor
    E. Borger, H. Kleine Buning, M.M. Richter (eds.)
  • Publication
    Springer-Verlag
  • Publication Year
    c1990
  • Collation
    vi, 437p
  • Series
    Lecture notes in computer science ; 440
  • Bibliography
    Includes bibliographies
  • Subject

    Computer science- Mathematics- Congresses , Logic, Symbolic and mathematical- Congresses

  • ADDED ENTRIES
    Borger, Egon, 1946- , ed , Series: Lecture notes in computer science ; 440
  • Main Class
    005
  • Sub Class
    .131
  • Cutter no
    W926c
  • Date
    1989
  • وارد كنندة اطلاعات
    fazel^d2003/05/21 09:53:03
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=69137&Field=0&DTC=2