university website Publications by Year
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • thumb

    Applying Spatial Computing to Everyday Interactive Designs In Proceedings

    S.O. Dulman (Stefan) and C. Kievid

    January 2014
    open access
  • Knowledge, Belief, Probabilities, Updates, Model Checking Presentation

    D.J.N. van Eijck (Jan)

    January 2014
  • Belief, Probabilities, Updates, and Model Checking Presentation

    D.J.N. van Eijck (Jan)

    January 2014
  • Logic, (Functional) Programming, Model Checking Presentation

    D.J.N. van Eijck (Jan)

    January 2014
  • Programming for DEL Tutorial Day Presentation

    D.J.N. van Eijck (Jan)

    January 2014
  • Logic, Languages and Programming Presentation

    D.J.N. van Eijck (Jan)

    January 2014
  • Logic in Action Book

    J.F.A.K. van Benthem (Johan), H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and J.O.M. Jaspars

    January 2014
    open access
  • Epistemic Probability Logic Simplified Book Chapter

    D.J.N. van Eijck (Jan) and F. Schwarzentruber

    January 2014
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close