Zum Inhalt springen

  1. D'Agostino, Marcello [HerausgeberIn]

    Handbook of tableau methods

    Bücher
    Schließen

    Merkliste

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

    Dordrecht [u.a.]: Kluwer, 1999

  2. Glimm, Birte [Sonstige Person, Familie und Körperschaft]; Steigmiller, Andreas [Sonstige Person, Familie und Körperschaft]; Liebig, Thorsten [Sonstige Person, Familie und Körperschaft]

    Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures : [technical report]

    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.

    Ulm: Univ., Fak. für Ingenieurwiss. und Informatik, 2014

    Erschienen in: Ulmer Informatik-Berichte ; 2014,02

  3. Steigmiller, Andreas [Sonstige Person, Familie und Körperschaft]; Liebig, Thorsten [Sonstige Person, Familie und Körperschaft]; Glimm, Birte [Sonstige Person, Familie und Körperschaft]

    Extended caching, backjumping and merging for expressive description logics

    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.

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

    Erschienen in: Ulmer Informatik-Berichte ; 2012,01

  4. Emmenegger, Jean-François [VerfasserIn]; Chable, Daniel [VerfasserIn]; Nour-Eldin, Hassan [VerfasserIn]; Knolle, Helmut [VerfasserIn] ; Walter de Gruyter GmbH & Co. KG

    Sraffa and Leontief revisited : mathematical methods and models of a circular economy

    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; Boston: De Gruyter, 2020

  5. Lutz, Carsten [VerfasserIn]; Sturm, Holger [VerfasserIn]; Wolter, Frank [VerfasserIn]; Zacharjaščev, Michail V. [VerfasserIn]

    A Tableau Calculus for Temporal Description Logic : The Constant Domain Case

    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.

    Dresden: Technische Universität Dresden, 2001

    Erschienen in: LTCS-Report ; 01,1