Search Results - Hinkelmann, Knut ca. 20./21. Jh

Integrating bottom-up and top-down reasoning in CoLab

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

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

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

Bidirectional reasoning of horn clause programs: transformation and compilation

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

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

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

Table of Contents

Combining terminological and rule-based reasoning for abstraction processes

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

SASLOG: lazy evaluation meets backtracking

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

Order via interlibrary loan

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

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

Order via interlibrary loan

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

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

Order via interlibrary loan

Computing cost estimates for proof strategies

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

Table of Contents

A consequence finding approach for feature recognition in CAPP

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

Table of Contents

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

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

Table of Contents

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

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

Order via interlibrary loan

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

Other Authors: “…Hinkelmann, Knut ca. 20./21. Jh…”
Table of Contents

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

Other Authors: “…Hinkelmann, Knut ca. 20./21. Jh…”
Read online (freely available)

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

Other Authors: “…Hinkelmann, Knut ca. 20./21. Jh…”

Read online (LMU)
Available at the library of LMU.
Read online (HM)
Available at the library of Hochschule Munich University of Applied Sciences (HM).

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

Other Authors: “…Hinkelmann, Knut ca. 20./21. Jh…”

Read online (LMU)
Available at the library of LMU.
Read online (HM)
Available at the library of Hochschule Munich University of Applied Sciences (HM).

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

Other Authors: “…Hinkelmann, Knut ca. 20./21. Jh…”
Table of Contents

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

Other Authors: “…Hinkelmann, Knut ca. 20./21. Jh…”

Read online (LMU)
Available at the library of LMU.
Read online (HM)
Available at the library of Hochschule Munich University of Applied Sciences (HM).

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

Other Authors: “…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

Other Authors: “…Hinkelmann, Knut ca. 20./21. Jh…”
Table of Contents