Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 57,874
Number of items: 57,874
  • Vos, F. M., van der Heijde, G. L., Spoelder, H. J. W., van Stokkum, I. H. M., & Groen, F. C. A. (1996). A new PRBA-based instrument to measure the shape of the cornea. In Conference Record IMtc96 (pp. 416-421)
  • Dinesh, T. B., & Uskudarli, S. M. (1996). Specifying Input and Output of Visual Languages. (Technical Report; No. P9610). onbekend (FdL).
  • Manuel, P. I. (1996). ANSI Cobol III in SDF + an ASF Definition of a Y2K Tool. (Technical Report; No. P9617). onbekend (FdL).
  • Rodenburg, P. H. (1996). A Complete System of Four-valued Logic. (Technical Report; No. P9618). onbekend (FdL).
  • Luttik, S. P., & Rodenburg, P. H. (1996). Transformations of Reduction Systems. (Technical Report; No. P9615). onbekend (FdL).
  • van den Brand, M. G. J., Klint, P., & Verhoef, C. (1996). Core Technologies for System Renovation. (Technical Report; No. P9614). onbekend (FdL).
  • Hunt, S., Harris, F., Bogaerts, A., Carter, J., Hauser, R., Legrand, I., Calvet, D., Hörtnagl, C., Li, H., Wu, B., Korcyl, K., Spiwoks, R., & Vermeulen, J. (1996). SIMDAQ: A system for modeling DAQ/Trigger Systems. IEEE Transactions on Nuclear Science, 43(1), 69-73. https://doi.org/10.1109/23.486007
  • van de Pol, J. C. (1996). Termination of Higher-Order Rewrite Systems. [Thesis, fully external, UU].
  • Kamperman, J. F. T. (1996). Compilation of Term Rewriting Systems. [Thesis, externally prepared, Universiteit van Amsterdam]. UvA.
  • Teusink, F. J. M. (1996). Non-monotonic reasoning via Logic Programming. [Thesis, externally prepared, Universiteit van Amsterdam]. UvA.
Page 5233 of 5788