Reasoning in pervasive computational spaces

Koay, Nigel and Syal, Preya and Juric, Radmila (2010) Reasoning in pervasive computational spaces. In: Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, 30 - 31 Mar 2010, London. (Submitted)

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 18 Mar 2010 10:35
Last Modified: 26 Mar 2014 15:04
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/7778

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)