Zum Inhalt springen

  1. Journal of automated reasoning

    Zeitschriften / Zeitungen / Schriftenreihen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    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

    Zeitschriften / Zeitungen / Schriftenreihen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  3. De Swart, Harrie [Herausgeber:in]; Swart, Harrie de [Herausgeber:in] ; International Conference Tableaux 1998 Oisterwijk

    Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5 - 8, 1998; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1998

    Erschienen in: Lecture notes in computer science ; 1397