Skip to contents

  1. Journal of automated reasoning

    Journals / Newspapers / Series
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dordrecht [u.a.]: Springer, 1985- ; Dordrecht [u.a.]: Kluwer Acad. Publ., -2004,1 ; Dordrecht [u.a.]: Reidel, früher / 1.1985 -

  2. International Conference on Rewriting Techniques and Applications, RTA

    Rewriting techniques and applications : proceedings

    Journals / Newspapers / Series
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1985-1989 / 1.1985 - 3.1989