Diagrammatic Representation and Reasoning
Contributors: Michael Anderson (Editor); Bernd Meyer (Editor); Patrick Olivier (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 9, 2001
Language: eng
Format: Paperback
Number of pages: 584
ISBN-13: 9781852332426
Subjects: Applied mathematics; Cognitive theory; Knowledge-based systems / expert systems; Logic; Data Transmission Systems - General; Cognitive Psychology; Automata; Digital Image Processing; Image processing; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Cognitive science; Computers / Artificial Intelligence; Diagramatic reasoning; Problem solving; Computer Science; Artificial intelligence; Automatic theorem proving