Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
25 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

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

25 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Mechanizing Matching Logic In Coq
    Bereczky, Péter ; Chen, Xiaohong ; et al.
    2022
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq
    Frumin, Dan
    In: Frumin , D 2022 ' Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq ' arXiv, 2022
    Online academicJournal
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Fixed point semantics and partial recursion in Coq
    Bertot, Yves ; Komendantsky, Vladimir ; et al.
    In: PPDP 2008 ; https://inria.hal.science/inria-00190975 ; PPDP 2008, Jul 2008, Valencia, Spain, 2008
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Common Knowledge Logic in a Higher Order Proof Assistant
    Lescanne, Pierre ; Laboratoire de l'Informatique du Parallélisme (LIP) ; et al.
    In: Hyper Article en Ligne - Sciences de l'Homme et de la Société ; Programming Logics - Essays in Memory of Harald Ganzinger. ; Andrei Voronkov, Christoph Weidenbach. Programming Logics - Essays in Memory of Harald Ganzinger., Springer, pp.271-284, 2013, Lecture Notes in Computer Science; (2013)
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    ICFP 2021 artifact: paper #232, 'Functional Pearl: Skipping the Binder Bureaucracy with Mixed Embeddings in a Semantics Course'
    Chlipala, Adam
    2021
    Online Elektronische Ressource
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Dynamic agent safety logic : theory and applications
    Ahrenbach, Seth ; Chadha, Rohit
    2019
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Certifying formal reasoning about critical information systems ; Certification des raisonnements formels portant sur des systèmes d'information critiques
    Henaien, Amira ; Université de Lorraine ; et al.
    In: Theses.fr, 2015
    Hochschulschrift
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Development and verification of probability logics and logical frameworks ; Développement et vérification des logiques probabilistes et des cadres logiques
    Maksimović, Petar ; Nice ; et al.
    In: Theses.fr, 2013
    Hochschulschrift
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    La Covid et le surgissement imprévu de la Chèvre et de l’Oiseau-Lyre ; Covid and the unexpected onset of Chèvre and Oiseau-Lyre
    Siraudeau, Diane
    In: Le Coq-héron ; Le Coq-héron, N 244, 1, 2021-03-26, pp.146-155, 2021
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Régression vers des relations malignes ; Regression towards malignant relationships
    Gurevitch, Hayuta ; Frey, Nicole
    In: Le Coq-héron ; Le Coq-héron, N 237, 2019
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Computational Logic for Biomedicine and Neurosciences Computational Logic for Biomedicine and Neuroscience ; Logique Calculatoire pour la Biomédecine et les Neurosciences ; Calculation logic for Biomedicine and Neurosciences
    De Maria, Elisabetta ; Despeyroux, Joelle ; et al.
    In: Hyper Article en Ligne - Sciences de l'Homme et de la Société ; 2020, 2020
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Santé mentale et dévitalisation du fait psychique ; Mental health and devitalisation of mental health
    Bellahsen, Mathieu
    In: Le Coq-héron ; Le Coq-héron, N 234, 2018
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    La psychanalyse et les sciences ; The psychanalysis and the sciences
    Bourguignon, André
    In: Le Coq-héron ; Le Coq-héron, N 222, 3, 2015-09-28, pp.43-54, 2015
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    La psychanalyse aux prises avec ses racines médicales ; Psychanalysis with her medical roots
    Dupont, Sébastien
    In: Le Coq-héron ; Le Coq-héron, N 222, 3, 2015-09-28, pp.91-99, 2015
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Le concept d'interprétation en psychanalyse ; The concept of psychanalysis interpretation
    Bernfeld, Siegfried
    In: Le Coq-héron ;, 2012
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Pourquoi les psychanalystes ont besoin du transfert de leurs patients ; Why psysonists need the transfer of their patients
    Rycroft, Charles
    In: Le Coq-héron ;, 2012
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Figures du hors-lieu ; Figures from the location
    Lazali, Karima
    In: Le Coq-héron ;, 2009
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Common knowledge logic in a higher order proof assistant?
    Lescanne, Pierre
    In: arXiv, 2007
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Hermann nous aide à penser à Clotilde ; Hermann helps us think of Clotilde
    Gachnochi, Georges ; Rosenblum, Ouriel
    In: Le Coq-héron ;, 2007
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Scènes d'enseignement et scènes primitives ; Educational scenes and primitive scenes
    Lhomme-Rigaud, Colette
    In: Le Coq-héron ; Le Coq-héron, n`supbo`/supb 186, 3, 2006-11-02, pp.83-95, 2006
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -