Diagrammatic representation and reasoning
Michael Anderson, Bernd Meyer and Patrick Olivier (eds.)
Bok Engelsk 2002
Utgitt | London : Springer , c2002
|
---|---|
Omfang | XV, 584 s. : ill.
|
Opplysninger | Bidrag fra American Association for Artificial Intelligence Fall Symposium on Diagrammatic Reasoning holdt ved MIT i nov. 1997, Thinking with Diagrams Workshop holdt ved University of Wales, Aberystywth, i aug. 1998 og American Association for Artificial Intelligence Fall Symposium on Formalizing Reasoning with Visual and Diagrammatic Representations holdt i Orlando, Fla. i okt. 1998
|
Emner | Artificial intelligence
Automatic theorem proving Image processing Problem solving Vis mer... Bevisføring (Matematikk) - Databehandling
Diagrammer Kunstig intelligens graphic methods visual communication computer graphics grafisk databehandling diagrammer visuell kommunikasjon informasjonsdesign |
Dewey | |
ISBN | 1852332425. - 9781852332426
|