Mostrando 1 - 4 Resultados de 4 Para Buscar 'Benzmüller, Christoph', tiempo de consulta: 0.11s Limitar resultados
  1. 1
    por Benzmüller, Christoph
    Publicado 2019
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
  2. 2
    Enlace del recurso
    Rules and reasoning: second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, proceedings
  3. 3
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    The Higher-Order Prover Leo-II
  4. 4
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
Herramientas de búsqueda: RSS