Sciweavers

ASC
2000

A Sound and Complete Diagrammatic Reasoning System

14 years 26 days ago
A Sound and Complete Diagrammatic Reasoning System
John Howse, Fernando Molina, John Taylor
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where ASC
Authors John Howse, Fernando Molina, John Taylor
Comments (0)