| Download Scientific Diagram

Source publication

Willkommen im Anthropozän! Zukunftskonzepte vermitteln.

Conference Paper

Full-text available

May 2017

Reinhold Leinfelder

(Vortragsfolien eines Abendvortrags anlässlich des o.a. Workshops Kommunikationsstrategien des Internationalen Zentrums für Kultur- und Technikforschung / Reallabor für nachhaltige Mobilitätskultur an der Universität Stuttgart

THE EXPERIENCE OF DIGITAL MANUFACTURING AND RAPID PROTOTYPING IN THE TRANSDISCIPLINARY HOMO-FABER WORKSHOP: SHARING THE GAME

Chapter

Full-text available

Jan 2022

Figure 2: The ALC non-clausal matrix proof of the F 1 using the...

Figure 8: Steps representation in the connection proof/sequent ALC for...

Correspondence between label, polarity and type of a node, preceded or...

Learning from Tactic Steps in Formal Proofs: Invited Talk at the Sixth Workshop on Proof eXchange for Theorem Proving

Article

Full-text available

Aug 2019

Thibault Gauthier

Article

Full-text available

Dec 2018

Nt Chang

Exploring the Internet of Things: an Interdisciplinary Workshop Approach

Conference Paper

Full-text available

Sep 2013

Proceedings 1st International Workshop on Artificial Intelligence for Knowledge Management (AI4KM 2012)

Conference Paper

Full-text available

Aug 2012

Overview of AI path in USSR and Ukraine * http://www.lirmm.fr/ecai2012/images/stories/ecai_doc/pdf/workshop/W22_AI4KM_proceedings.pdf