Andrew Fish

Andrew Fish

University of Liverpool
E-mail confirmado em liverpool.ac.uk
Citado por 1289
Visual Languages Discrete Mathematics Diagrammatic Representations Formal Specification Knot
Dave Barker-Plummer

Dave Barker-Plummer

CSLI, Stanford University
E-mail confirmado em stanford.edu
Citado por 886
Artificial Intelligence Technology Enhanced Education Logic Automated Reasoning Diagrammatic Representations