Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Fakultät für Informatik, Universität Karlsruhe (TH)

Links

Unix/Linux

WWW

ILKD-spezifische Dokumentationen
Benutzerhandbuch zum HTML-Generator (i11/i12-intern) Administratorhandbuch zum HTML-Generator (i11/i12-intern) Rechner am ILKD Erste Hilfe
Unix/Linux
XEmacs Manual psfig-Hilfe
WWW
SELFHTML (HTML-Dateien selbst erstellen) HTML 3.2 Reference Specification The HTML Writers Guild: WWW Resources The HTML Reference Library HTML Einführung / Konstanz HTML-Einfuehrungen von H.Partl Guide to Cascading Style Sheets CSS Frequently Asked Questions Cascading Style Sheets, level 1 Icon-Bibliothek (ILKD) Installation von Imagemaps NCSA Imagemap Tutorial Usable Web: Benutzerfreundliches Web-Design