Gå direkte til innhold

Applications of proof interpretations in nonlinear analysis

Prosjektleder:
Eyvind Martol Briseid
Institusjon:
 
Aktivitetsnavn:
Fri prosj.st. mat.,naturv.,tek
Prosjektstatus:
Bevilgning
Prosjektperiode:
01.04.2011 - 31.03.2014
Geografi:
Norge/AKERSHUS/BÆRUM
Fagområder:
Matematikk og naturvitenskap/Matematikk
Prosjektnummer:
204762