Suchergebnisse - Hinkelmann, Knut ca. 20./21. Jh

Integrating bottom-up and top-down reasoning in CoLab

von Harm, Martin, Hinkelmann, Knut ca. 20./21. Jh, Labisch, Thomas

Forward logic evaluation: developing a compiler from a partially evaluated meta interpreter

von Hinkelmann, Knut ca. 20./21. Jh

Bidirectional reasoning of horn clause programs: transformation and compilation

von Hinkelmann, Knut ca. 20./21. Jh

Transformation von Hornklausel-Wissensbasen: Verarbeitung gleichen Wissens durch verschiedene Inferenzen

von Hinkelmann, Knut ca. 20./21. Jh

Inhaltsverzeichnis

Combining terminological and rule-based reasoning for abstraction processes

von Hanschke, Philipp 1963-, Hinkelmann, Knut ca. 20./21. Jh

SASLOG: lazy evaluation meets backtracking

von Hinkelmann, Knut ca. 20./21. Jh, Nökel, Klaus, Rehbold, Robert

Per Fernleihe bestellen

SASLOG: eine funktional-logische Sprachintegration mit Lazy Evaluation und semantischer Unifikation

von Hinkelmann, Knut ca. 20./21. Jh

Per Fernleihe bestellen

Dokumentenmanagement & Archivierung: Prozessunterstützung für Unternehmen und öffentliche Verwaltungen

von Hinkelmann, Knut ca. 20./21. Jh, Thönssen, Barbara

Per Fernleihe bestellen

Computing cost estimates for proof strategies

von Hinkelmann, Knut ca. 20./21. Jh, Hintze, Helge

Inhaltsverzeichnis

A consequence finding approach for feature recognition in CAPP

von Hinkelmann, Knut ca. 20./21. Jh

Inhaltsverzeichnis

ECM Enterprise Content Management: Plan, Build, Run - vom Bedarf zur Realisierung

von Hinkelmann, Knut ca. 20./21. Jh, Urech, Ralph

Inhaltsverzeichnis

Dokumentenmanagement & Elektronische Archivierung für Unternehmen und öffentliche Verwaltungen

von Hinkelmann, Knut ca. 20./21. Jh, Thönssen, Barbara, Winkler, Maria

Per Fernleihe bestellen

Fifth Conference on Professional Knowledge Management - Experiences and Visions: March 25 - 27, 2009 Solothurn, Switzerland ; [WM 2009]

Weitere beteiligte Personen: “… Hinkelmann, Knut ca. 20./21. Jh …”
Inhaltsverzeichnis

Hybride KI mit Machine Learning und Knowledge Graphs: innovative Lösungen aus der Praxis

Weitere beteiligte Personen: “… Hinkelmann, Knut ca. 20./21. Jh …”
Online lesen (frei zugänglich)

Society 5.0: First International Conference, Society 5.0 2021, Virtual Event, June 22–24, 2021, Revised Selected Papers

Weitere beteiligte Personen: “… Hinkelmann, Knut ca. 20./21. Jh …”

Online lesen (LMU)
In der Bibliothek der LMU nutzbar.
Online lesen (HM)
In der Bibliothek der Hochschule München (HM) nutzbar.

Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools

Weitere beteiligte Personen: “… Hinkelmann, Knut ca. 20./21. Jh …”

Online lesen (LMU)
In der Bibliothek der LMU nutzbar.
Online lesen (HM)
In der Bibliothek der Hochschule München (HM) nutzbar.

Digitalisierung und andere Innovationsformen im Management: aktuelle Perspektiven auf die digitale Transformation von Unternehmen und Lebenswelten

Weitere beteiligte Personen: “… Hinkelmann, Knut ca. 20./21. Jh …”
Inhaltsverzeichnis

Perspectives in Business Informatics Research: 22nd International Conference on Business Informatics Research, BIR 2023, Ascoli Piceno, Italy, September 13–15, 2023, Proceedings

Weitere beteiligte Personen: “… Hinkelmann, Knut ca. 20./21. Jh …”

Online lesen (LMU)
In der Bibliothek der LMU nutzbar.
Online lesen (HM)
In der Bibliothek der Hochschule München (HM) nutzbar.

Fifth Conference on Professional Knowledge Management - Experiences and Visions: March 25 - 27, 2009 Solothurn, Switzerland ; [WM 2009]

Weitere beteiligte Personen: “… Hinkelmann, Knut ca. 20./21. Jh …”

Perspectives in business informatics research: 22nd International Conference on Business Informatics Research, BIR 2023, Ascoli Piceno, Italy, September 13-15, 2023 : proceedings

Weitere beteiligte Personen: “… Hinkelmann, Knut ca. 20./21. Jh …”
Inhaltsverzeichnis