Search results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 218,524
Number of items: 218,524
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). A tableau calculus for dynamic first order logic with applications in natural language semantics. In J. Bos, & M. Kohlhase (Eds.), ICOS-2 Proceedings (pp. 25-40)
  • Rijkenberg, R. A., Bebelaar, D., & Buma, W. J. (2000). A "hot" perspective on symmetry breaking and vibronic coupling in cis-1,3,5-hexatriene. Journal of the American Chemical Society, 122, 7418-7419. https://doi.org/10.1021/ja000864k
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). Theorem proving and programming with dynamic first order logic. In M. Alpuente (Ed.), Functional and Logic Programming: Ninth International Workshop, WFLP'2000, Benicàssim, Spain, September 28-30, 2000 (pp. 56-71). Universidad Politéchnica de Valencia.
  • van Eijck, D. J. N. (2000). Making things happen. Studia Logica, 66, 41-58.
  • Shlyk, L., Estrela, P., Waerenborgh, J. C., De Long, L. E., de Visser, A., Rojas, D. P., Gandra, F., & Almeida, M. (2000). Crystal structure and physical properties of U3T3Sn4 (T= Ni, Cu) single crystals. Physica B-Condensed Matter, 292, 89-96. https://doi.org/10.1016/S0921-4526(00)00460-9
  • van Eijck, D. J. N. (2000). The proper treatment of context in NL. In P. Monachesi (Ed.), Computational Linguistic in the Netherlands 1999; Selected Papers from the Tenth CLIN Meeting (pp. 41-51). Utrecht Institute of Linguistics OTS.
  • van Eijck, D. J. N. (2000). [Review of: The Tbilisi symposium on logic, language and computation]. Science of Computer Programming, 38, 147-149.
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). Theorem proving and porgramming with dynamic first order logic - full version. (technical Report; No. INS-R0020). Institute for Logic Language and Computation.
  • Fase, M. M. G. (2000). Beleggen in kunst, een samenspel van geldelijk rendement en psychisch inkomen. In Onderzoeksrapport WO&E (643). De Nederlandsche Bank.
  • Fase, M. M. G., & Mooij, J. E. (2000). Het bankwezen in het Hollands Noorderkwartier en het agentschap Alkmaar van de Nederlandsche Bank, 1865-1997. In Onderzoeksrapport WO&E (644). De Nederlandsche Bank.
Page 17372 of 21853