Diagrammatic representation and reasoning /
Anderson, Michael,1965-
Meyer, Bernd,1951-
Olivier, Patrick,1966-
London : Springer,
2002.
Includes bibliographical references and index.
Automatic theorem proving.
Image processing.
Problem solving.