Dr. Hans Jürgen Ohlbach

Selected Publications

Preprints (mainly in the area of calendrical reasoning)

Automated Reasoning in

Other Areas:

Last Modified: Wednesday, 10-Mar-2004 14:08:45 CET