pf2html
LATEX2HTML + pf.sty (hypertext proofs) |
Home | Restrictions | Proofs | Download | Publications | Related links | Contacts |
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