Project

Back to overview

A logics workbench

Applicant Jäger Gerhard
Number 34279
Funding scheme Swiss Priority Programmes (SPPs)
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.1993 - 31.03.1996
Approved amount 469'151.00
Show all

Keywords (8)

LOGICS WORK BENCH; COMPUTERLOGIK; LOGIKKALKüLE; SYST. KLASSISCHER LOGIK; NICHT-MONOTONE SYSTEME; WISSENSLOGIKEN; TYPENTHEORIEN; LAMBDAKALKüL

Responsible applicant and co-applicants

Employees

Associated projects

Number Title Start Funding scheme
43197 Distributed Propositional Proof Systems 01.01.1996 Project funding (Div. I-III)

-