Studier
Forskning
Om NLA
EN
Meny
Studier
Søk utdanning
Nettstudier
Videreutdanning
For studenter
Alt om studiestart
Verktøy for studenter
Studie- og emneplaner
Praksis
Biblioteket
IT-tjenester og verktøy
Utveksling og utenlandsopphold
Studere ved NLA
Våre studiesteder
Hvorfor velge NLA
Livet rundt studiene
Studentdemokratiet
Våre tidligere studenter
Om NLA
Organisasjon
Historie og særpreg
Finn ansatte
Presse og media
Vedtekter og planer
Støtt NLA
Personvern og sikkerhet
Kvalitetsportalen
Forskning og utvikling
Finn en ekspert
Publikasjoner
Forskningsgrupper
Prosjekter
Samarbeid
IT-hjelp
Finn publikasjoner
Multimodal proof and derivation
Publisert i CERME 7, 2011
Les artikkelen her
Reinert Andre Rinvold
Carl Andreas Lorange
