Search results

    Filter results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 489
Number of items: 489
  • Ó Nualláin, B. S., Marx, M. J., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings SAT 2001
  • Open Access
    de Rijke, M., Ó Nualláin, B. S., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In H. Kautz, & B. Selman (Eds.), Electronic Notes in Discrete Mathematics, volume 9 Elsevier Science Publishers.
  • Open Access
    Kerdiles, G. (2001). Saying It with Pictures: a logical landscape of conceptual graphs. [Thesis, fully internal, UvA / ILLC]. ILLC.
  • Open Access
    Pauly, M. (2001). Logic for social software. [Thesis, fully internal, Universiteit van Amsterdam].
  • van Benthem, J. F. A. K. (2000). Information Transfer across Chu Spaces. (Technical Reports; No. PP-2000-02). Institute for Logic, Language and Computation.
  • van Benthem, J. F. A. K. (2000). Reasoning in Reverse. In Abduction and Induction, their Relation and Integration (pp. 9-11). Kluwer.
  • van Benthem, J. F. A. K. (2000). Information Transfer Across Chu Spaces. Logic Journal of the IGPL, 8(6), 719-731.
  • van Benthem, J. F. A. K. (2000). Linguistic Grammar as Dynamic Logic. In Dynamic Perspectives in Logic and Linguistics (pp. 7-17). (Logic and Linguistics). Bulzoni.
  • van Benthem, J. F. A. K. (2000). Explaining language by economic behaviour. In @ (pp. 93-107). Cambridge University Press.
  • van Benthem, J. (2000). Instroom. Nieuw Archief voor Wiskunde, 5/1(3), 263. http://www.nieuwarchief.nl/serie5/pdf/naw5-2000-01-3-263.pdf
Page 33 of 49