Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 163
Number of items: 163
  • Monz, C., & de Rijke, M. (1998). A tableaux calculus for ambiguous quantification. In Proceedings tableaux '98 Springer.
  • Monz, C., & de Rijke, M. (1998). Labeled resolution for discourse semantics. In Proceedings of labeled deduction '98
  • Monz, C., & de Rijke, M. (1998). A resolution calculus for dynamic reasoning. In Logics in artificial intelligence Springer.
Page 17 of 17