Abstract data and local reasoning

Abstract

Data and Local Reasoning Thomas Dinsdale-Young Submitted in part fulfilment of the requirements for the degree of Doctor of Philosophy in Computing of the University of London and the Diploma of Imperial College, November 2010 

Topics

33 Figures and Tables

Slides referencing similar topics