Mostrando 1 - 3 Resultados de 3 Para Buscar 'Baader, Franz', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    por Baader, Franz, Kapur, Deepak
    Publicado 2020
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols
  2. 2
    por Baader, Franz, Rydval, Jakub
    Publicado 2020
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Description Logics with Concrete Domains and General Concept Inclusions Revisited
  3. 3
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Formalizing biomedical concepts from textual definitions
Herramientas de búsqueda: RSS