Tagung: "First-Order-Logic" (FOL75 2) (Veranstaltung: 18.09.-21.09.2003, Berlin) - HU Berlin Forschungsportal - Forschungsinformationssystem der HU Berlin

Kopfzeile Navigation Inhalt Fußzeile

Tagung: "First-Order-Logic" (FOL75 2) (Veranstaltung: 18.09.-21.09.2003, Berlin)

Osteuropaförderung für FOL75

Projektleitung

Scheffler, Uwe PD Dr. phil. (Details) (Logik)

Mittelgeber

DFG sonstige Programme

Laufzeit

Projektstart: 09/2003
Projektende: 09/2003