Norsk English
Publication

So you can prove theorems - but can you code?

Category

Lecture

Language

English

Author(s)

Affiliation

  • SINTEF Digital / Mathematics and Cybernetics

Presented at

Math meets industry

Place

Trondheim

Date

22.09.2016 - 23.09.2016

Organizer

NTNU

Year

2016

View this publication at Cristin