( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Collaborative Speculations on Future Themes for Participatory Design in Germany

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , и . i-com, 21 (2): 283--298 (2022)
DOI: 10.1515/icom-2021-0030

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Christoph Benzmüller

Karl Benzmüller

Christoph Müller

Der Einfluss von cis-Hydroxy-L-Prolin (CHP) auf die Pankreaskarzinom-Zelllinie DSL6A der Ratte. Uni Rostock, (2009)

Christoph Eggert

Synthese von Modellpolymeren für molekular verstärkte Ionomerblends und Werkstoffeigenschaften. Uni Stuttgart, (2009)

Christoph Thiermann

Grenzüberschreitende Verschmelzungen deutscher Gesellschaften: das Spannungsfeld zwischen Gesellschaftsrecht und Niederlassungsfreiheit des AEUV nach Cartesio. Uni Frankfurt Main, (2010)
 

Другие публикации лиц с тем же именем

Computer Science and Metaphysics: A Cross-Fertilization., , и . CoRR, (2019)Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument., и . CoRR, (2019)Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis., и . CoRR, (2020)Exploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOL.. Arch. Formal Proofs, (2021)A German Corpus of Reflective Sentences., , , , , и . ICON, стр. 593-600. NLP Association of India (NLPAI), (2021)Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results., и . ARQNL@IJCAR, том 3326 из CEUR Workshop Proceedings, стр. 92-108. CEUR-WS.org, (2022)Report on the Second International Joint Conference on Rules and Reasoning., , и . AI Mag., 40 (2): 73-74 (2019)Normative Conditional Reasoning as a Fragment of HOL., и . CoRR, (2023)Assertion-level Proof Representation with Under-Specification., , , , и . MKM Symposium, том 93 из Electronic Notes in Theoretical Computer Science, стр. 5-23. Elsevier, (2003)Value-Oriented Legal Argumentation in Isabelle/HOL., и . ITP, том 193 из LIPIcs, стр. 7:1-7:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)