Grant: Discovery Grants Program - Individual
Concordia University
$9,000.00
Applications of proof theory to the analysis of programs
FY 1991-92
Summary
No summary - Aucun sommaire
Program
Discovery Grants Program - Individual
Recipient
Location
Quebec, Canada
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
8224-1989
Name nom
Szabo, Manfred
Department département
Mathematics & Statistics
Organization id
70
Institution établissement
Concordia University
Province en
Québec
Province fr
Québec
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
1991
Competition year année de concours
1989
Award amount
9000
Program id
RGPIN
Program nane en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
16
Committee name en
Pure & Applied Mathematics (H)
Committee name fr
Math. pures et appliquées (H)
Area of application code
801
Area of application group en
Information and communication services
Area of application group fr
Services d'information et de télécommunications
Area of application en
Computer software
Area of application fr
Logiciel
Research subject code
2800
Research subject group en
Artificial intelligence
Research subject group fr
Intelligence artificielle
Research subject en
Artificial intelligence (computer vision, use2603)
Research subject fr
Intelligence artificielle (vision artificielle, utiliser 2603)
Partie
3
Nb partie
3
Application title
Applications of proof theory to the analysis of programs
Keyword
NA
Application summary
No summary - Aucun sommaire
