Project

Back to overview

Algebraische und logische Aspekte der Wissensverarbeitung

English title Algebraic and logical aspects of knowledge processing
Applicant Jäger Gerhard
Number 107443
Funding scheme Project funding (Div. I-III)
Research institution Institut für Informatik Universität Bern
Institution of higher education University of Berne - BE
Main discipline Information Technology
Start/End 01.04.2005 - 31.03.2008
Approved amount 370'462.00
Show all

Keywords (6)

algebraic and logical knowledge representation; applicative theories; explicit mathematics; type theories; subsystems of set theory and second order arithmet; intensional and extensional theories

Responsible applicant and co-applicants

Employees

Associated projects

Number Title Start Funding scheme
100011 Algebraische und logische Aspekte der Wissensverarbeitung 01.04.2003 Project funding (Div. I-III)
119759 Algebraische und logische Aspekte der Wissensverarbeitung 01.04.2008 Project funding (Div. I-III)

-