Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


35215 Treffer


× Publikationen
× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Universität Koblenz
× Katholische Hochschule Mainz
× Hochschule Trier
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen









  • Blanchette, Jasmin Christian; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
  • Deduction Beyond First-Order Logic
  • Dagstuhl Reports. Bd. 7. H. 9. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017 S. 26 - 46


  • Hartenfels, Carsten; Leinberger, Martin; Lämmel, Ralf et al.
  • Type-Safe Programming with OWL in Semantics4J
  • Nikitina Nadeschda;Dezhao Song;Achille Fokoue;Peter Haase (Hrsg). Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks ISWC-P&D-Industry 2017 co-located with 16th International Semantic Web Conference ISWC 2017: Vienna, Austria, October 23rd to 25th, 2017. Aachen: CEUR/RWTH 2017 S. 1 - 4