Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

13 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq
    Letouzey, Pierre
    2004
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Question de confiance : communication sceptique entre Coq et des prouveurs externes
    Keller, Chantal
    2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Lawvere-Tierney sheafification in Homotopy Type Theory
    Quirin, Kevin
    2016
    Hochschulschrift
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Réalisabilité et paramétricité dans les systèmes de types purs
    Lasson, Marc
    2012
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Outils génériques de preuve et théorie des groupes finis
    Garillot, François
    2011
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Réalisabilité et paramétricité dans les systèmes de types purs
    Lasson, Marc
    2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Etude sur le typage de l'égalité dans les systèmes de types
    Siles, Vincent
    2010
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Extending type theory with syntactic models
    Boulier, Simon Pierre
    2018
    Hochschulschrift
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Vérification de typage pour le lambda-Pi-Calcul Modulo : théorie et pratique
    Saillard, Ronan
    2015
    Hochschulschrift
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Automated verification of termination certificates
    Ly, Kim Quyen
    2014
    Hochschulschrift
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
    Boespflug, Mathieu
    2011
    Online Hochschulschrift
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Conception et implantation du langage FoC pour le développement de logiciels certifiés
    Prevosto, Virgile
    2003
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Théorie des Types et Procédures de Décision
    Strub, Pierre-Yves
    2008
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -