Items where Division is "Faculties > Faculty of Science and Engineering > Department of Computing, Mathematics & Digital Technology" and Year is 2005

Calardo, Erica and Rybakov, Vladimir V. (2005) Combining time and knowledge, semantic approach. Bulletin of the section of logic, 34 (1). pp. 13-22. ISSN 0138-0680

Coyle, David and Matthews, Mark and Sharry, John and Nisbet, Andy and Doherty, Gavin (2005) Personal investigator: a therapeutic 3D game for adolecscent psychotherapy. Interactive Technology and Smart Education, 2 (2). pp. 73-88. ISSN 1741-5659

Prakash, Edmond C. (2005) Computer game arena: a showcase for computer game projects. ACM SIGCSE bulletin, 37 (3). p. 358. ISSN 0097-8418

Prakash, Edmond C. (2005) Implicit functions lab: a collaboratory for computer graphics. ACM SIGCSE bulletin, 37 (3). p. 376. ISSN 0097-8418

Qian, Ling and Mingham, Clive G. and Causon, Derek M. and Ingram, David M. and Folley, Matt and Whittaker, Trevor J.T. (2005) Numerical simulation of wave power devices using a two-fluid free surface solver. ISSN 0217-9849

Rybakov, Vladimir V. (2005) Admissible inference rules in temporal linear logics based at integer numbers. [Conference or Workshop Item] (Unpublished)

Rybakov, Vladimir V. (2005) Inference in discrete linear temporal logic. [Conference or Workshop Item] (Unpublished)

Rybakov, Vladimir V. (2005) Inference in temporal next-time logic. In: , We will show them! Essays in honour of Dov Gabbay, Volume Two, London: College Publications, pp. College Publications. ISBN 978-1904987123