Index of /~eder/lehre/Automatisierung_und_Komplexitaet_des_logischen_Schliessens/programme

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]wahrheitswerte.pl2020-10-06 09:45 451  
[TXT]km_al.pl2020-12-21 23:32 823  
[TXT]p03.pl2006-04-03 13:34 2.1K 
Apache/2.4.38 (Debian) Server at cosy.sbg.ac.at Port 443