BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 1.

    Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) A tableau algorithm for reasoning about concepts and similarity. In: Mayer, M.C. and Pirri, F. (eds.) Tableaux 2003: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science 2796. Springer, pp. 134-149. ISBN 9783540407874.

    This list was generated on Sun Jul 14 06:34:45 2024 BST.