Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

Details for Topic Number 285

proof type classical property true assistant consuming correct formalism added checked construct easy formal ltt

http://www.researchperspectives.org/gow.topics/topic_285.png

Words in Topic

123 - proof

22 - type

17 - classical

15 - property

15 - true

14 - assistant

10 - consuming

9 - correct

9 - formalism

8 - added

8 - checked

8 - construct

8 - easy

8 - formal

7 - ltt

Key Grants