Title: Diagrammatic representation and reasoning
Subjects: Image processing, Artificial intelligence, Problem solving, Automatic theorem proving