Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset

Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

1 results

Filter

Finished
Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour
Kerber, M. & Rowat, C.
Engineering & Physical Science Research Council
1/05/12 → 30/04/15
Project: Research Councils