Spider Diagrams: A Diagrammatic Reasoning System - Concepedia

Concepedia

Publication | Open Access

Spider Diagrams: A Diagrammatic Reasoning System

DOI Full Paper Access

76

Citations

9

References

2001

Year

John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil

Journal of Visual Languages & Computing

EngineeringDiagrammatic ReasoningSpider DiagramsReasoning SystemAutomated ReasoningModel-based ReasoningDesignFormal MethodsComputer ScienceSemantics

References

	Year	Citations

Page 1