Diagrammatic representation and reasoning /

Bibliographic Details

Other Authors:	Anderson, Michael, 1951-, Meyer, Bernd, 1965-, Olivier, Patrick, 1966-
Format:	Book
Language:	English
Published:	London ; New York : Springer, [2002]
Subjects:	Automatic theorem proving. Artificial intelligence. Image processing. Problem solving.