Zum Inhalt springen

  1. De Swart, Harrie [HerausgeberIn] ; RelMiCS 6 2001 Oisterwijk, Workshop of COST Action 274 TARSKI 1 2001 Oisterwijk

    Relational methods in computer science : 6th international conference, RelMICS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16 - 21, 2001 ; revised papers

    Bücher
    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, 2002

    Erschienen in: Lecture notes in computer science ; 2561

  2. Frai͏̈ssé, Roland [VerfasserIn] ScienceDirect (Online service)

    Theory of relations - [Rev. ed]

    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.

    Amsterdam; New York: Elsevier, 2000 ; Online-Ausg.]

    Erschienen in: Studies in logic and the foundations of mathematics ; v. 145

  3. De Swart, Harrie [VerfasserIn]

    Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers

    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: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2561