Title: Diagrammatic reasoning in AI
First published: 2009
Subjects: Graphic methods, Artificial intelligence, Reasoning, Mathematics, Image processing, Automatic theorem proving, Problem solving
LC classification: Q335 .N355 2009