Forschungsstelle "Mathematische Logik" der Heidelberger Akademie der Wissenschaften
Informatik (RPTU in Kaiserslautern) / Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Gottlieb Daimler-Str., 67663 Kaiserslautern
Profil
Dienstleistungsangebot
Vervollständigung der Bibliographie "Mathematische Logik"; Strukturierung, Speicherung und Retrieval (insbes. mathematischer Themen und Gebiete);
Wissensrepräsentation (insbes. mathematischer Inhalte); Indexierung mit und Retrieval von Phrasen;
Bibliographische Dokumentation; Schnittstellen für Datenbank-Recherche;