Project

Back to overview

Algebraische und logische Aspekte der Wissensverarbeitung

Applicant Jäger Gerhard
Number 61669
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.01.2001 - 31.03.2003
Approved amount 396'065.00
Show all

Keywords (10)

ALGEBRAIC AND LOGICAL KNO; WLEDGE REPRESENTATION; TYPE THEORIES; HIGHER TYPE RECURSION THE; ORY; APPLICATIVE THEORIES; EXPLICIT MATHEMATICS; SUBSYSTEMS OF SET THEORY; AND SECOND ORDER ARITHMET; IC

Responsible applicant and co-applicants

Employees

Associated projects

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

-