edited by Michael Fisher and Alessandro Artale ; sponsored by Engineering and Physical Sciences Research Council (EPSRC) ... [et al.]IEEE Computer Society Pressc2002
editors, Clare Dixon and Michael Fisher ; sponsored by Florida Artificial Intelligence Research Society, Manchester Metropolitan University, UK, University of Regina, CanadaIEEE Computer Societyc1999