linktipp: applets zu kalkülen

[maxi]

... tja, was man sich nicht so alles als dipl-thema aussuchen kann:

habe eine diplomarbeit mit java-applets zu kalkülen (zumind. tableau, resolution ...) entdeckt:
http://kik.informatik.fh-dortmund.de/Diplomarbeiten/Diplomarbeit%20Becker&Lach/Analytisches%20Tableau%20inkl.%20HTML-Seiten/TableauStart.htm

wenn man sich bei der adresse zurückhantelt, gibts noch andere themen ...

zumind. konnte ich 8.2. verifizieren ;-)

lg, maxi

[Plantschkuh!]

Thoralf rechnet DPLL, wenn auch in einer etwas anderen Variante als wir: http://www.thoralf.uwaterloo.ca/htdocs/LOGIC/ST_ALGORS/st_dp.html