Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 217,143
Number of items: 217,143
  • van Emde Boas, P., van Mill, J., & Wiegerinck, J. (2021). Inspirerende hoogleraar zuivere wiskunde met hart voor onderwijs en studenten: In Memoriam Aïda Beatrijs Paalman-de Miranda (1936–2020). Nieuw Archief voor Wiskunde, 5/22(2), 113-114. https://www.nieuwarchief.nl/serie5/pdf/naw5-2021-22-2-113.pdf
  • Rooduijn, J. (2021). Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality. In A. Das, & S. Negri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp. 354-370). (Lecture Notes in Computer Science; Vol. 12842), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-86059-2_21
  • Marti, J., & Venema, Y. (2021). A Focus System for the Alternation-Free μ-Calculus. In A. Das, & S. Negri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp. 371-388). (Lecture Notes in Computer Science; Vol. 12842), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-86059-2_22
  • Benedikt, M., Bourrhis, P., ten Cate, B., Puppis, G., & Vanden Boom, M. (2021). Inference from Visible Information and Background Knowledge. ACM Transactions on Computational Logic, 22(2), Article 13. https://doi.org/10.1145/3452919
  • Spinelli, A. (2021). Rewriting the history of art and activism in Milan. New forms of sociality and the radical imaginary. The Journal of Aesthetics and Protest, Special Patainstitutional Online Issue. https://joaap.org/patainstitutional/spinneli.htm
  • van der Waal, M. (2021). Vergiftigde levens: [Bespreking van: D. Galgut (2021) The Promise]. Indies Tijdschrift, 2021(2), 26. https://www.indiestijdschrift.nl/3104/0/products/alle-diensten/0/vergiftigde-levens
  • van der Waal, M., & Wils, E. (2021). Hoogleraar Zuid-Afrikaanse literatuur, cultuur en geschiedenis. Indies Tijdschrift, 2021(2), 27-28.
  • Bogaard, G., Verschuere, B., & Meijer, E. H. (2021). Centre for Policing and Security: Stop met het aanbieden van pseudowetenschap. Panopticon, 42(4), 359-361. https://doi.org/10.13140/RG.2.2.14479.71841
  • van Elburg, W., & Smit, N. (2021). Hofjes van Hendrick de Keyser. (Jaarartikel; Vol. 2020). Vereniging Hendrick de Keyser. https://www.hendrickdekeyser.nl/sites/hdk_hdekeyser/files/2021-05/HdK_jaarartikel_2020%20-%20def%20versie.pdf
  • Korte, J., Constantin, A., Wilson, C., Alexandru, C. A., Sim, G., Read, J., Good, J., Fails, J., & Eriksson, E. (2021). Participatory Design of the World's Largest DPD Project with Children. In Proceedings of IDC 2021: June 24-30, 2021, Online (Athens, Greece) (pp. 687-691). Association for Computing Machinery. https://doi.org/10.1145/3459990.3460514
Page 2815 of 21715