Beweisvisualisierung


Principal Investigators
Wolter, Helmut Prof. Dr. sc. (Details) (Mathematical Logic I)

Duration of Project
Start date: 09/1995
End date: 05/1998

Last updated on 2020-10-03 at 23:15