Edinburgh Research Explorer

Dr Daniel Raggi

(Former employee or visitor)

Research outputs

  1. Automating change of representation for proofs in discrete mathematics

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (2) »

ID: 31816742