Tools for Teaching Logic [E-Book] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings /  

Blackburn, Patrick.
2011

Modeling and Using Context [E-Book] : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings /  

Blackburn, Patrick.
2003