Project

Back to overview

Algebraische und logische Aspekte der Wissensverarbeitung

Applicant Jäger Gerhard
Number 52424
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 Mathematics
Start/End 01.11.1998 - 31.12.2000
Approved amount 437'798.00
Show all

Keywords (10)

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

Responsible applicant and co-applicants

Employees

Associated projects

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

-