0 antall prosjekter

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Applications of proof interpretations in nonlinear analysis

For enkelthets skyld tar jeg her utgangspunkt i den populærvitenskapelige framstillingen fra prosjektets forrige framdriftsrapport (med rapporteringsfrist 20111001) som kjent bakgrunnsstoff. Hovedsaklig har jeg i perioden etter dette arbeidet med å vide reutvikle funksjonalinterpretasjonen for ...

Tildelt: kr 2,6 mill.

Prosjektperiode: 2011-2014

Sted: Ukjent Fylke