Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

Artikel & mehr
2.581 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

2.581 Treffer

Sortierung: 
  1. Sozeau, Matthieu ; Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE) ; et al.
    In: 35es Journées Francophones des Langages Applicatifs (JFLA 2024) ; https://inria.hal.science/hal-04407164 ; 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France, 2024
    Online Konferenz
  2. Dubois, Catherine ; Magaud, Nicolas ; et al.
    In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022
    Online Konferenz
  3. Dubois, Catherine ; Magaud, Nicolas ; et al.
    In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022
    Online Konferenz
  4. Dubois, Catherine ; Magaud, Nicolas ; et al.
    In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022
    Online Konferenz
  5. Ledein, Amélie ; Dubois, Catherine ; et al.
    In: JFLA 2020 : Journées Francophones des Langages Applicatifs ; Les 31es Journées Francophones des Langages Applicatifs (JFLA) ; https://hal.science/hal-04344249 ; Les 31es Journées Francophones des Langages Applicatifs (JFLA), Jan 2020, Gruisan, France, 2020
    Online Konferenz
  6. Cohen, Cyril ; Sakaguchi, Kazuhiko ; et al.
    In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020
    Online Konferenz
  7. Cohen, Cyril ; Sakaguchi, Kazuhiko ; et al.
    In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://hal.inria.fr/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020
    Online Konferenz
  8. Cohen, Cyril ; Sakaguchi, Kazuhiko ; et al.
    In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://hal.inria.fr/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020
    Online Konferenz
  9. Warin, Laura ; Guinebretière, Maryse ; et al.
    In: 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras ; https://hal.inrae.fr/hal-03797364 ; 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras, Mar 2022, Tours, France, 2022
    Online Konferenz
  10. Blot, Valentin ; Dubois de Prisque, Louise ; et al.
    In: Journées Francophones des Langages Applicatifs ; JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal.science/hal-03604902 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France ; http://jfla.inria.fr/jfla2022.html, 2022
    Online Konferenz
  11. Castéran, Pierre ; Damour, Jérémy ; et al.
    In: Journées Francophones des Langages Applicatifs: JFLA 2022 ; https://hal.science/hal-03404668 ; Journées Francophones des Langages Applicatifs: JFLA 2022, Jun 2022, St-Médard d'Excideuil, France, 2022
    Online Konferenz
  12. Roux, Pierre ; ONERA / DTIS, Université de Toulouse Toulouse ; et al.
    In: Journées Francophones des Langages Applicatifs ; 33èmes Journées Francophones des Langages Applicatifs ; https://hal.inria.fr/hal-03626860 ; 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.272-281 ; http://jfla.inria.fr/jfla2022.html, 2022
    Online Konferenz
  13. Castéran, Pierre ; Damour, Jérémy ; et al.
    In: Journées Francophones des Langages Applicatifs: JFLA 2022 ; https://hal.archives-ouvertes.fr/hal-03404668 ; Journées Francophones des Langages Applicatifs: JFLA 2022, Feb 2022, St-Médard d'Excideuil, France, 2022
    Online Konferenz
  14. Dubois, Catherine ; Magaud, Nicolas ; et al.
    In: Leibniz International Proceedings in Informatics (LIPIcs) ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France, 2022
    Online Konferenz
  15. Warin, Laura ; Guinebretière, Maryse ; et al.
    In: 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras ; https://hal.inrae.fr/hal-03797364 ; 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras, Mar 2022, Tours, France, 2022
    Online Konferenz
  16. Blot, Valentin ; Dubois de Prisque, Louise ; et al.
    In: Journées Francophones des Langages Applicatifs ; JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal.science/hal-03604902 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France ; http://jfla.inria.fr/jfla2022.html, 2022
    Online Konferenz
  17. Warin, Laura ; Guinebretière, Maryse ; et al.
    In: 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras ; https://hal.inrae.fr/hal-03797364 ; 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras, Mar 2022, Tours, France, 2022
    Online Konferenz
  18. Tisi, Massimo ; Cheng, Zheng ; et al.
    In: ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations ; https://hal.inria.fr/hal-01828344 ; ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.142-156, ⟨10.1007/978-3-319-93317-7_7⟩, 2018
    Online Konferenz
  19. Tisi, Massimo ; Cheng, Zheng ; et al.
    In: ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations ; https://inria.hal.science/hal-01828344 ; ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.142-156, ⟨10.1007/978-3-319-93317-7_7⟩, 2018
    Online Konferenz
  20. Tisi, Massimo ; Cheng, Zheng ; et al.
    In: ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations ; https://hal.inria.fr/hal-01828344 ; ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.142-156, ⟨10.1007/978-3-319-93317-7_7⟩, 2018
    Online Konferenz
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -