Mechanizing Deduction in the Logics of Practical Reasoning (MEDLAR)

Buchberger, Bruno (PI)

Research Institute for Symbolic Computation

Project: Funded research › Other sponsors

Description

Austrian Ministry for Science and Research in the frame of ESPRIT (Basic Research Actions).

Status	Finished
Effective start/end date	01.10.1989 → 29.02.1992

Fields of science

101013 Mathematical logic
101001 Algebra
101012 Combinatorics
101020 Technical mathematics
101 Mathematics
101009 Geometry
101005 Computer algebra

JKU Focus areas

Digital Transformation