Weiter zum Inhalt Weiter zur Fußzeile

Veröffentlichungen suchen

602 Ergebnisse für: "Allgemeine Computerwissenschaft"
  1. Veröffentlicht

    Abduction in EL via Translation to FOL

    Haifani, F., Koopmann, P. & Tourret, S., 2021, Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). CEUR-WS, Band 3009. S. 46-58 13 S. (CEUR Workshop Proceedings, Band 3009).

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

  2. Veröffentlicht

    A Framework for Intuitionistic Grammar Logics

    Lyon, T., 1 Okt. 2021, Logic and Argumentation - 4th International Conference, CLAR 2021, Proceedings. Baroni, P., Benzmüller, C. & Wáng, Y. N. (Hrsg.). Springer International Publishing AG, Band 13040. S. 495-503 9 S.

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

  3. Veröffentlicht

    MTP - automation engineering of modular process plants

    Hoernicke, M., Stark, K. & Urbas, L., 19 Juli 2021, AutomationML: The Industrial Cookbook. de Gruyter, S. 125-164 40 S.

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in Buch/Sammelband/GutachtenBeigetragenBegutachtung

  4. Helios – Heidelberg laparoscopic intervention and operation simulator: Wissenschaftlicher Beitrag für die 11. CURAC Jahrestagung 2012

    Wünscher, J., Kenngott, H., Wagner, M., Nickel, F. & Müller-Stich, B., 2012, Proceedings of the CURAC (Computer- und Roboterassistierte Chirurgie) Annual Meeting: Düsseldorf, Germany, November 15, 2012.. Preim, B. & Dorwarth, H. (Hrsg.). S. 227-228 2 S. (CEUR Workshop Proceedings, Band 1429).

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

  5. Veröffentlicht

    Fuzzy-valued triadic implications

    Glodeanu, C. V., 2011, CLA 2011 - Proceedings of the 8th International Conference on Concept Lattices and Their Applications. Vychodil, V. & Napoli, A. (Hrsg.). CEUR-WS, S. 159-173 15 S. (CEUR Workshop Proceedings, Band 959).

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

  6. Veröffentlicht

    Ordinal factor analysis

    Ganter, B. & Glodeanu, C. V., 2012, Formal Concept Analysis: 10th International Conference, ICFCA 2012, Proceedings. S. 128-139 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Band 7278 LNAI).

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

  7. Veröffentlicht

    Attribute dependencies in a fuzzy setting

    Glodeanu, C. V., 2012, CLA 2012 Concept Lattices and Their Applications: Proceedings of The Ninth International Conference on Concept Lattices and Their Applications. S. 127-138 12 S. (CEUR Workshop Proceedings, Band 972).

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

  8. Veröffentlicht

    Attribute exploration in a fuzzy setting

    Glodeanu, C. V., 2012, Formal Concept Analysis 2012: Contributions to the 10th International Conference on Formal Concept Analysis (ICFCA 2012) . S. 114-129 16 S. (CEUR Workshop Proceedings, Band 876).

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

  9. Veröffentlicht

    Triadic factor analysis

    Vera Glodeanu, C., 2010, CLA-2010 Concept Lattices and Their Applications: Proceedings of the 7th International Conference on Concept Lattices and Their Applications. S. 127-138 12 S. (CEUR Workshop Proceedings, Band 672).

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

  10. Veröffentlicht

    Attribute exploration with fuzzy attributes and background knowledge

    Glodeanu, C. V., 2013, CLA 2013 Concept Lattices and Their Applications: Proceedings of the Tenth International Conference on Concept Lattices and Their Applications. S. 69-80 12 S. (CEUR Workshop Proceedings, Band 1062).

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Liste exportieren (max. 500):