Diagrammatic representation and reasoning :: ISBN 1852332425 :: Springer 2002 :: OBNB, the Open British National Bibliography

Publication Data

Title Diagrammatic representation and reasoning
Contributors Michael Anderson, Bernd Meyer, Patrick Olivier
Publisher Springer
Publication date 2002
Publication location London
Language English

Topics

Automatic theorem proving
Image processing
011407532

Catalogue Data

OBNB ID GBA170169
ISBN 10 1852332425
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.3

ISBD

P1053 xv, 584 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Diagrammatic representation and reasoning. ISBN 1852332425. Published by Springer in 2002. Publication and catalogue information, links to buy online and reader comments.