Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Ohlbach, H.-J., Nonnengart, A., de Rijke, M., & Gabbay, D. M. (2000). Encoding two-valued non-classical logics in classical logic. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1403-1486). Elsevier.
  • de Rijke, M. (2000). A note on graded modal logic. Studia Logica, 64, 271-283.
  • de Nivelle, J. M. G. G., & de Rijke, M. (2000). The Boyer-Moore theorem prover. In M. Hazewinkel (Ed.), Encyclopedia of Mathematics, Supplement II (pp. 83-84). Kluwer.
  • de Nivelle, J. M. G. G., & de Rijke, M. (2000). Theorem prover. In M. Hazewinkel (Ed.), Encyclopedia of Mathematics, Supplement II (pp. 452-453). Kluwer.
  • de Rijke, M. (2000). Modal experiments. In Proceedings Automated Reasoning Workshop 2000 King's College London.
  • Monz, C., & de Rijke, M. (2000). Inference in Computational Semantics I. Special issue of Journal of Language and Computation dedicated to ICoS-1, vol.1, issue 2. Unknown Publisher.
  • Monz, C., Ragetli, H. J. N., & de Rijke, M. (2000). Concept-based computer-aided link generation for electronic handbooks. In Workshop Proceedings Dutch Information Retrieval Workshop
  • Monz, C., & de Rijke, M. (2000). Editorial: Inference in Computational Semantics. Journal of Language and Computation, 2, 159-165.
  • Open Access
    Areces, C. E. (2000). Logic Engineering. The Case of Description and Hybrid Logics. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC dissertation series 2000-05.
  • Lemon, O., de Rijke, M., & Shimojima, A. (1999). Efficacy of Diagrammatic Reasoning. Journal of Logic, Language and Information, 8(3), 265-400. https://link.springer.com/journal/10849/8/3/page/1
Page 91 of 103