Diagrammatic Representation and Inference - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540212683, 9783540259312

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Query Graphs with Cuts: Mathematical Foundations

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_7 ◽

2004 ◽

pp. 32-50 ◽

Cited By ~ 4

Author(s):

Frithjof Dau

Keyword(s):

Mathematical Foundations

Download Full-text

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_17 ◽

2004 ◽

pp. 166-181 ◽

Cited By ~ 11

Author(s):

Jean Flower ◽

Judith Masthoff ◽

Gem Stapleton

Keyword(s):

Theorem Proving ◽

Heuristic Approach ◽

Spider Diagrams

Download Full-text

On Frege’s Logical Diagrams

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_4 ◽

2004 ◽

pp. 22-25

Author(s):

Iulian D. Toader

Download Full-text

Perceptual Support of Diagram Creation and Editing

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_55 ◽

2004 ◽

pp. 424-427

Author(s):

Eric Saund ◽

James Mahoney

Download Full-text

Teaching Children Brackets by Manipulating Trees: Is Easier Harder?

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_52 ◽

2004 ◽

pp. 407-414

Author(s):

T. R. G. Green ◽

Andrew G. Harrop ◽

Vania Dimitrova

Download Full-text

Feature Diagrams in Phonology

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_50 ◽

2004 ◽

pp. 398-401 ◽

Cited By ~ 1

Author(s):

Don Salting

Download Full-text

Representing Rosters: Conceptual Integration Counteracts Visual Complexity

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_46 ◽

2004 ◽

pp. 385-387 ◽

Cited By ~ 3

Author(s):

Peter C-H. Cheng ◽

Rossano Barone

Keyword(s):

Visual Complexity ◽

Conceptual Integration

Download Full-text

Processing Animation: Integrating Information from Animated Diagrams

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_39 ◽

2004 ◽

pp. 360-364 ◽

Cited By ~ 1

Author(s):

Sara Price

Download Full-text

Using Graphics to Communicate Across Cultures

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_36 ◽

2004 ◽

pp. 347-350 ◽

Cited By ~ 1

Author(s):

Nicolas Fay ◽

Nik Swoboda ◽

Takugo Fukaya ◽

Ichiro Umata ◽

Yasuhiro Katagiri

Download Full-text

Individual Differences in Graphical Reasoning

Diagrammatic Representation and Inference - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25931-2_27 ◽

2004 ◽

pp. 271-285 ◽

Cited By ~ 3

Author(s):

Aidan Feeney ◽

John Adams ◽

Lara Webber ◽

Michael Ewbank

Keyword(s):

Individual Differences

Download Full-text

Diagrammatic Representation and Inference - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Query Graphs with Cuts: Mathematical Foundations

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams

On Frege’s Logical Diagrams

Perceptual Support of Diagram Creation and Editing

Teaching Children Brackets by Manipulating Trees: Is Easier Harder?

Feature Diagrams in Phonology

Representing Rosters: Conceptual Integration Counteracts Visual Complexity

Processing Animation: Integrating Information from Animated Diagrams

Using Graphics to Communicate Across Cultures

Individual Differences in Graphical Reasoning

Diagrammatic Representation and Inference - Lecture Notes in Computer Science
Latest Publications