Max Nagl

Allensche Zeitlogik

posted in Projects on March 10, 2008
A paper about temporal logic (german) Download