Project

Back to overview

Algebraische und logische Aspekte der Wissensverarbeitung

English title Algebraic and logical aspects of knowledge processing
Applicant Jäger Gerhard
Number 100011
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.2003 - 31.03.2005
Approved amount 377'379.00
Show all

Keywords (7)

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

Responsible applicant and co-applicants

Employees

Associated projects

Number Title Start Funding scheme
107443 Algebraische und logische Aspekte der Wissensverarbeitung 01.04.2005 Project funding (Div. I-III)
61669 Algebraische und logische Aspekte der Wissensverarbeitung 01.01.2001 Project funding (Div. I-III)

-