Sachakte

Manfred Böhler - Maschinelles Beweisen;

Reference number
B 0160 / 41

Context
Mathematische Logik (1965-1980)
Holding
B 0160 Mathematische Logik (1965-1980)

Date of creation
1972

Other object pages
Last update
18.08.2025, 10:06 AM CEST

Data provider

This object is provided by:
Universitätsarchiv der Albert-Ludwigs-Universität Freiburg. If you have any questions about the object, please contact the data provider.

Object type

  • Sachakte

Time of origin

  • 1972

Other Objects (12)