1
0
0
(1 - 20 von 21
)
Cut-free Gentzen calculus for multimodal CKScienceDirect.com
www.sciencedirect.com
von M Mendler · · Zitiert von: 36 — ... overlay panel. Michael Mendler , Stephan Scheele. Show more. Add to Mendeley. Share. Cite. https://doi.org j.ic Get rights and content. von M Mendler · · Zitiert von: 36 — ... overlay panel. Michael Mendler , Stephan Scheele. Show more. Add to Mendeley. Share. Cite. https://doi.org j.ic Get rights and content.
Franz-Josef GroschDBLP
dblp.uni-trier.de
— Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele: Synchronized Shared Memory and Procedural Abstraction: Towards a — Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele: Synchronized Shared Memory and Procedural Abstraction: Towards a ...
Stephan Scheele - CEN - Universität HamburgUniversität Hamburg, CEN
www.cen.uni-hamburg.de
Stephan Scheele. Stephan Scheele. Profilbild. CEN-IT. Anschrift. Universität Hamburg Hamburg. Büro. DKRZ. Raum: 15. Kontakt. E-Mail: ... Stephan Scheele. Stephan Scheele. Profilbild. CEN-IT. Anschrift. Universität Hamburg Hamburg. Büro. DKRZ. Raum: 15. Kontakt. E-Mail: ...
Dr. Stephan Scheele - Uni Bamberguni-bamberg.de
www.uni-bamberg.de
Email:stephan.scheele(at)iis.fraunhofer.de, stephan.scheele(at)uni-bamberg.de. Old homepage at Informatics Theory Group: link. Curriculum Vitae; Research ...
ProgramKI2021
ki2021.uni-luebeck.de
Explanation as a Process: User-centric Construction of Multi-level and Multi-modal Explanations Bettina Finzel, David Elias Tafler, Stephan Scheele, and Ute ... Explanation as a Process: User-centric Construction of Multi-level and Multi-modal Explanations Bettina Finzel, David Elias Tafler, Stephan Scheele, and Ute ...
Transforming Process MiningTechnische Hochschule Deggendorf
www.th-deg.de
Stephan Scheele, Christian Dormagen. - dab:GmbH: Marco Kretschmann, Martin Riedl, Ledia Leka. Gefördert durch/ Funded by: Project KIGA: KI-basierte ... Stephan Scheele, Christian Dormagen. - dab:GmbH: Marco Kretschmann, Martin Riedl, Ledia Leka. Gefördert durch/ Funded by: Project KIGA: KI-basierte ...
Improving activity and motivation of students with MADOCUni Mannheim
madoc.bib.uni-mannheim.de
von S Kopf · · Zitiert von: 53 — Improving activity and motivation of students with innovative teaching and learning technologies. Kopf, Stephan ; Scheele, Nicolai ; Winschel, Lilli ; ... von S Kopf · · Zitiert von: 53 — Improving activity and motivation of students with innovative teaching and learning technologies. Kopf, Stephan ; Scheele, Nicolai ; Winschel, Lilli ; ...
CEUR-WS.org/Vol st International Workshop on Stream Reasoning...
ftp.informatik.rwth-aachen.de
von E Della Valle10 Jun Gulay Unel, Florian Fischer and Barry Bishop; Towards a Type System for Semantic Streams Michael Mendler and Stephan Scheele ...
Stephan Scheele - Grundlagen der Informatik - Universität Bamberg
www.uni-bamberg.de
Dr. rer. nat. Stephan Scheele, M.Comp.Sc (Univ.), Dipl.-Wirtsch.Inf. (FH) New homepage: https://www.uni-bamberg.de/en/cogsys/scheele-stephan/. Wissenschaftlicher Mitarbeiter. Professur für Grundlagen der Informatik. Universität Bamberg. An der Weberei 5. Zimmer WE
dblp: Fundamenta Informaticae, Volume 130
dblp.uni-trier.de
Bibliographic content of Fundamenta Informaticae, Volume 130
Software Projects & Ancillary Material - Otto-Friedrich-Universität...
www.uni-bamberg.de
Authors: Stephan Scheele, Thomas Kuhndörfer, Georg Zeissner. VISFSAE is a prototypical implementation of a visual programming environment which allows to modell an auditing proplem in terms of a directed dataflow graph.
Stephan Scheele - dblpdblp.org › Persons
dblp.org
List of computer science publications by Stephan Scheele Michael Mendler, Stephan Scheele: Towards Constructive DL for Abstraction and Refinement.
SPACMoDL - Otto-Friedrich-Universität Bamberg
www.uni-bamberg.de
Die Fakultät WIAI verbindet die Wirtschaftsinformatik mit Angewandter Informatik und der klassischen Theoretischen und Praktischen Informatik
hidest15.html
www.ifis.uni-luebeck.de
Submission site: https://easychair.org/conferences/?conf=hidest15 Registration KI'15: July 29, Stephan Scheele, University of Bamberg, Germany
Model and Proof Theory of Constructive ALC: Constructive OPUS 4
fis.uni-bamberg.de
Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte. Informatik der Otto-Friedrich-Universität Bamberg Stephan M. Scheele. Model and Proof Theory of Constructive ALC. Constructive Description ·I, which is based on classical first-order logic, i.e., concepts are interpreted as unary predicates over ∆I ...
Participatory Simulation of a Stock Exchange - MADOC
madoc.bib.uni-mannheim.de
Participatory Simulation of a Stock Exchange. Aldinger, Till ; Kopf, Stephan ; Scheele, Nicolai ; Effelsberg, Wolfgang · [img]. Vorschau. PDF Aldinger_2005a.pdf ...
sortiert nach Relevanz / Datum