Back to search
F-INF-Naturvitenskap, informatikk
Modifications and Applications of Alternating-time Temporal Epistemic Logic
Awarded: NOK 1.6 mill.
Source:
Project Manager:
Project Number:
166525
Application Type:
Project Period:
2005 - 2007
Funding received from:
Organisation:
See project description.
Funding scheme:
F-INF-Naturvitenskap, informatikk
55.8MILL. NOKtotal funding in the programme period55PROJECTShave received funding in the programme period2SOURCEShave financed the programme
Funding Sources
Thematic Areas and Topics
No thematic area or topic related to the project