Publication
-
Applying Spatial Computing to Everyday Interactive Designs In Proceedings
January 2014
-
January 2014
-
Belief, Probabilities, Updates, and Model Checking Presentation
January 2014 -
Logic, (Functional) Programming, Model Checking Presentation
January 2014 -
Programming for DEL Tutorial Day Presentation
January 2014 -
Logic, Languages and Programming Presentation
January 2014 -
Logic in Action Book
January 2014
-
Epistemic Probability Logic Simplified Book Chapter
January 2014