Mechanizing Deduction in the Logics of Practical Reasoning (MEDLAR)

Buchberger, Bruno (Projektleiter*in)

Institut für Symbolisches Rechnen

Projekt: Geförderte Forschung › Andere Geldgeber

Beschreibung

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

Status	Abgeschlossen
Tatsächliches Beginn-/Enddatum	01.10.1989 → 29.02.1992

Wissenschaftszweige

101013 Mathematische Logik
101001 Algebra
101012 Kombinatorik
101020 Technische Mathematik
101 Mathematik
101009 Geometrie
101005 Computeralgebra

JKU-Schwerpunkte

Digital Transformation