|
|||||
|
|
A Decidable Constraint Diagram Reasoning System |
|
| Authors: | Stapleton, Gem Howse, John Taylor, John |
| Affiliation: | Visual Modelling Group, University of Brighton, Brighton, BN2 4GJ, UK Email: g.e.stapleton{at}brighton.ac.uk, john.howse{at}brighton.ac.uk, john.taylor{at}brighton.ac.uk |
| Abstract: | |
| Keywords: | Visual logic formal methods diagrammatic reasoning |
| 本文献已被 Oxford 等数据库收录！ | |