Zum Inhalt springen

  3. Tobies, Leonie [VerfasserIn] ; Meller, Stephan [Sonstige Person, Familie und Körperschaft]; Wagenmann, Martin [Sonstige Person, Familie und Körperschaft]

    Einfluss einer präanalytischen Selektion von basophilen Granulozyten auf die Sensitivität des Basophilenaktivierungstests

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2022

  5. Tobies, Stephan [VerfasserIn]

    A NExpTime-Complete Description Logic Strictly Contained in C²

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Dresden: Technische Universität Dresden, 1999

    Erschienen in: LTCS-Report ; 99,5

  8. Tobies, Leonie [VerfasserIn] ; Meller, Stephan [Sonstige Person, Familie und Körperschaft]; Wagenmann, Martin [Sonstige Person, Familie und Körperschaft]

    Einfluss einer präanalytischen Selektion von basophilen Granulozyten auf die Sensitivität des Basophilenaktivierungstests

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2022

  9. Baader, Franz [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    The Inverse Method Implements the Automata Approach for Modal Satisfiability

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Dresden: Technische Universität Dresden, 2001

    Erschienen in: LTCS-Report ; 01,3

  10. Hirsch, Colin [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    A Tableau Algorithm for the Clique Guarded Fragment : Preliminary Version

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Dresden: Technische Universität Dresden, 2000

    Erschienen in: LTCS-Report ; 00,3

  11. Horrocks, Ian [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    Optimisation of Terminological Reasoning

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Dresden: Technische Universität Dresden, 1999

    Erschienen in: LTCS-Report ; 99,14

  12. Horrocks, Ian [VerfasserIn]; Sattler, Ulrike [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Dresden: Technische Universität Dresden, 1999

    Erschienen in: LTCS-Report ; 99,8

  13. Baader, Franz [VerfasserIn]; Molitor, Ralf [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    The Guarded Fragment of Conceptual Graphs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Dresden: Technische Universität Dresden, 1998

    Erschienen in: LTCS-Report ; 98,10

  14. Horrocks, Ian [VerfasserIn]; Sattler, Ulrike [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    A PSPACE-algorithm for deciding ALCNIR+-satisfiability

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Dresden: Technische Universität Dresden, 1998

    Erschienen in: LTCS-Report ; 98,8

  15. Horrocks, Ian [VerfasserIn]; Tessaris, Sergio [VerfasserIn]; Sattler, Ulrike [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    Query Containment Using a DLR ABox

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Dresden: Technische Universität Dresden, 1999

    Erschienen in: LTCS-Report ; 99,15

  16. Boehme, Harald [VerfasserIn]; Özel, Jasmin [VerfasserIn]; Hoffmann, Christian Hugo [VerfasserIn]; Lemanski, Jens [VerfasserIn]; Rami, Dolf [VerfasserIn]; Koenig, Daniel [VerfasserIn]; Tobies, Renate [VerfasserIn]; Porubský, Štefan [VerfasserIn]; Berendonk, Stephan [VerfasserIn]; Pielsticker, Felicitas [VerfasserIn]; Witzke, Ingo [VerfasserIn]

    Siegener Beiträge zur Geschichte und Philosophie der Mathematik 2022 : Band 16 (2022)

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Siegen: Universitätsbibliothek der Universität Siegen, 2023 ; Siegen: universi – Universitätsverlag Siegen, 2023

    Erschienen in: SieB - Siegener Beiträge zur Geschichte und Philosophie der Mathematik; 16

  17. Boehme, Harald [VerfasserIn]; Özel, Jasmin [VerfasserIn]; Hoffmann, Christian Hugo [VerfasserIn]; Lemanski, Jens [VerfasserIn]; Rami, Dolf [VerfasserIn]; Koenig, Daniel [VerfasserIn]; Tobies, Renate [VerfasserIn]; Porubský, Štefan [VerfasserIn]; Berendonk, Stephan [VerfasserIn]; Pielsticker, Felicitas [VerfasserIn]; Witzke, Ingo [VerfasserIn]

    Siegener Beiträge zur Geschichte und Philosophie der Mathematik 2022

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Universität Siegen; Department Mathematik, 2023-01-01

    Erschienen in: Siegen : universi - Universitätsverlag Siegen, 2023