pf2html
LATEX2HTML + pf.sty (hypertext proofs)
SourceForge.net Logo

Wolfgang SLANY ( )

Vienna University of Technology,
Computer Science Department,
Institute of Information Systems,
Database and Artificial Intelligence Group

Technische Universität Wien
Favoritenstr. 9-11
A-1040 Vienna, AUSTRIA

Tel: +43-1-58801-18424
FAX: +43-1-58801-18492