Generalized constraint diagrams : the classical decision problem in a diagrammatic reasoning system

James Burton. Generalized constraint diagrams : the classical decision problem in a diagrammatic reasoning system. PhD thesis, University of Brighton, UK, 2011. [doi]

Abstract

Abstract is missing.