Automatic proofs for scalecharts

Bosworth, R. (2004) Automatic proofs for scalecharts In: Proceedings of the third international conference, diagrams 2004, Cambridge, UK, 22-24 March, 2002 .

[img]
Preview
PDF
124Kb

Official URL: http://link.springer.com/chapter/10.1007/978-3-540...


Item Type:Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information:The final publication is available at link.springer.com
Subjects:G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource):10.1007/b95854
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:1028
Deposited By:editor cmis
Deposited On:28 Sep 2007
Last Modified:16 Oct 2013 13:43

Repository Staff Only: item control page