School of Computing

Smart Environments and their Applications to Cultural Heritage, proceedings of a workshop held in conjunction with UbiComp'05, Tokyo, Japan, September 11, 2005

Nick Ryan, Tullio Salmon Cinotti, and Giuseppe Raffa, editors

EPOCH Publication. Archaeolingua, Budapest, Hungary, September 2005 http://smart.arces.unibo.it/.

Bibtex Record

@proceedings{2244,
author = {},
title = {Smart Environments and their Applications to Cultural Heritage, proceedings of a workshop held in conjunction with UbiComp'05, Tokyo, Japan, September 11, 2005},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {http://smart.arces.unibo.it/},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2244},
    publication_type = {proceedings},
    submission_id = {16174_1127220000},
    editor = {Nick Ryan and Tullio Salmon Cinotti and Giuseppe Raffa},
    ISBN = {9638046619},
    series = {EPOCH Publication},
    publisher = {Archaeolingua, Budapest, Hungary},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014