• RecordNumber
    39442
  • Author

    International Conference on Rewriting Techniques and Applications, RTA-89 (3rd : 1989 : Chapel Hill, N.C.)

  • Title

    Rewriting techniques and applications, 1989, proceedings of ...

  • Author Statement
    N. Dershowitz
  • Publication
    Springer
  • Publication Year
    [c1989]
  • Collation
    vii, 578 p. : ill
  • Series
    Lecture notes in computer science ; 355
  • Bibliography
    Includes bibliographical references
  • Subject

    Rewriting systems (Computer science) --Congresses

  • ADDED ENTRIES
    Dershowitz, Nachum , Series : Lecture notes in computer science ; 355
  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    I61r
  • Date
    1989
  • وارد كنندة اطلاعات
    fazel^d// , samadi^d2008/11/05 10:53:11 , samadi^d2008/11/05 10:54:48 , samadi^d2008/11/05 11:25:48
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=39442&Field=0&DTC=2