Skip to main content
Skip to main navigation
DFKI durchsuchen nach:
Presse
Kontakt
Karriere
English
Folgen Sie uns auf: Facebook
Folgen Sie uns auf: Instagram
Folgen Sie uns auf: X
Folgen Sie uns auf: Youtube
Folgen Sie uns auf: LinkedIn
en
Forschung
Forschungsbereiche
Agenten und Simulierte Realität
Cyber-Physical Systems
Data Science und ihre Anwendungen
Design Research eXplorations
Educational Technology Lab
Eingebettete Intelligenz
Erweiterte Realität
Grundlagen der Systemischen KI
Innovative Fabriksysteme
Institut für Wirtschaftsinformatik
Intelligente Analytik für Massendaten
Intelligente Netze
Interaktives Maschinelles Lernen
KI in der biomedizinischen Signalverarbeitung
KI in der medizinischen Bildverarbeitung
Kognitive Assistenzsysteme
Marine Perception
Neuro-mechanistische Modellierung
Planbasierte Robotersteuerung
Robotics Innovation Center
Smarte Daten & Wissensdienste
Smart Enterprise Engineering
Smart Service Engineering
Sprachtechnologie und Multilingualität
Speech and Language Technology
Stochastische Relationale KI im Gesundheitswesen
Systemische KI für Entscheidungsunterstützung
Systemische KI für Lernende Roboter
Forschungsergebnisse
Projekte
Projektnews
Publikationen
Forschungsthemen
Autonome Systeme
Data Management & Analysis
Image Processing
IT Security
Lernende Systeme
Mensch Maschine Interaktion
Robotik
Sensorik & Netzwerke
Sprache & Textverstehen
Virtual & Augmented Reality
Anwendungen & Industrie
Kompetenzzentren
Ambient Assisted Living
Autonomes Fahren
Deep Learning
Emergency & Recovery
Semantisches Web
Sichere Systeme
Smart Agriculture
Umwelt & Nachhaltigkeit
Wearable AI
Living Labs
Ambient Assisted Living – BAALL
Driver Assistance - ADAS
Immersive Quantified Learning - iQL
Innovative Retail - IRL
Robotics Exploration
SmartCity - SCLL
SmartFactory-KL
Smart Office Space
Transfer
Industriekooperationen
Spin-offs
TransferLabs
CertLab
Anwendungsfelder
Bildung
Business Intelligence
Finanzwirtschaft
Industrie 4.0
Landwirtschaft
Logistik
Medizin
Mobilität
Smart Home
Umwelt & Energie
Qualifizierung & Vernetzung
Qualifizierungsangebote
KI-Campus
Software Campus
Bitkom Akademie
Vernetzung
Internationale Kooperationen
Wissenschaftliches Umfeld
Professor:innen
Netzwerke & Initiativen
Charta Digitale Vernetzung
CLAIRE
EIT Health
EIT Manufacturing
ELRC
Forum Digitale Technologien
KI-Kompetenzzentren
Plattform Industrie 4.0
Plattform Lernende Systeme
W3C
News & Media
News
Alle News
Wissenschaftliche Exzellenz
Projektnews
Newsletter
Events
Alle Events
Medica 2023
Smart Enterprise 2023
Woche der KI in Lübeck
Media
Podcast - KI und jetzt?
Videos
DFKI in den Medien
DFKI Fanshop
Über uns
DFKI im Überblick
Unternehmensprofil
Geschäftsführung & Lenkungskreis
Gesellschafter
Aufsichtsrat
Wissenschaftlicher Beirat
Governance
Mission Statement
Diversity and Gender Equality
Ethik-Team
Compliance
Arbeiten am DFKI
Karriere
Research Fellows
DFKI Fellows
Top Arbeitgeber
Standorte
Kaiserslautern / Trier
Saarbrücken
Bremen
Osnabrück / Oldenburg
Berlin
Darmstadt
Lübeck
Startseite
Forschung
Forschungsergebnisse
Publikationen
Publikationen
DFKI durchsuchen nach:
Suchen
Filtern
Jahr
1985
Aktive Filter:
Jahr:
1985
Alle Filter entfernen
Zeige Ergebnisse 1 bis 1 von 1
Hans-Jürgen Bürckert
Extending the Warren Abstract Machine to Many-sorted PROLOG
SEKI-Memo, Universität Kaiserslautern, SEKI-Memo, Vol. SEKI-85-07, 1985.
1
Ergebnisse pro Seite:
10
25
50
Jahr
1985
×
Forschung
Anwendungen & Industrie
Qualifizierung & Vernetzung
News & Media
Über uns