Home›Books›Diagrammatic representation and reasoningDiagrammatic representation and reasoningby Michael AndersonNo description available.Image processingArtificial intelligenceProblem solvingAutomatic theorem proving