Project

Back to overview

Logic and information: from logic to constructive reasoning

English title Logic and information: from logic to constructive reasoning
Applicant Jäger Gerhard
Number 112822
Funding scheme International Exploratory Workshops
Research institution Institut für Informatik Universität Bern
Institution of higher education University of Berne - BE
Main discipline Mathematics
Start/End 01.01.2007 - 31.01.2007
Approved amount 10'424.00
Show all

All Disciplines (2)

Discipline
Mathematics
Information Technology

Responsible applicant and co-applicants

-