Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Forschungsstelle "Mathematische Logik" der Heidelberger Akademie der Wissenschaften

Informatik / Technische Universität Kaiserslautern

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;