Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

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

Dienstleistungs­angebot

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;