Weiter zum Inhalt Weiter zur Fußzeile

Veröffentlichungen suchen

25971 - 25980 von 86.642Seitengröße: 10
86642 Veröffentlichungen
  1. 2021
  2. Veröffentlicht

    Fertigungsaufwände deutlich effizienter kalkulieren

    Erler, M. & Brosius, A., 2021

    Publikation: Sonstige Veröffentlichung › Sonstiges › Beigetragen › Begutachtung

  3. Fesseln der Begierde: Zwei Versprechen zur Einleitung

    Albers, G., Harst, J. & Kaesling, K., 2021, Wortgebunden: Zur Verbindlichkeit von Versprechen in Recht und Literatur. Albers, G., Harst, J. & Kaesling, K. (Hrsg.). 1 Aufl. Frankfurt am Main: Vittorio Klostermann, S. 7-26 20 S. (Schriftenreihe des Käte-Hamburger-Kollegs "Recht als Kultur", Band 24).

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

  4. Veröffentlicht

    Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures

    Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (Hrsg.). S. 291–308 18 S.

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

  5. Veröffentlicht

    Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)

    Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021) .

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

  6. Veröffentlicht

    Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

    Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, arXiv.

    Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

  7. Veröffentlicht

    Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).

    Kieronski, E. & Rudolph, S., 2021, Description Logics.

    Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

  8. Veröffentlicht

    FIRESTARTER 2: Dynamic Code Generation for Processor Stress Tests

    Schöne, R., Schmidl, M., Bielert, M. & Hackenberg, D., 2021, S. 582-590. 9 S.

    Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung

  9. Veröffentlicht

    First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.

    Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., 2021, arXiv, 69 S.

    Publikation: Vorabdruck/Dokumentation/Bericht › Anleitungen/Technische Dokumentationen

  10. Veröffentlicht

    Flammschutzmittel auf der Basis nachwachsender Roh- und Reststoffe

    Thümmler, K., Hofmann, L. & Tech, S., 2021, in: Feuer-Trutz : Brandschutz-Magazin für Fachplaner ; Problemlösungen, Planungshilfen, Insiderwissen. 5, S. 80 82 S.

    Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen

  11. Veröffentlicht

    Flash LiDAR aided-inertial Navigation on surfaces of small solar system bodies using error state Kalmanfiltering.

    Janschek, K., Liu, B., Sazdovski, V. & Chernykh, V., 2021.

    Publikation: Beitrag zu Konferenzen › Paper › Beigetragen

Vorherige 1...2594 2595 2596 2597 2598 2599 2600 2601 ...8665 Nächste
Liste exportieren (max. 500):