Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

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

Publikation

Sprache

4 Treffer

Sortierung: 
  1. KERBOEUF, M ; NOWAK, D ; et al.
    In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 356-371
    Konferenz
  2. BLAZY, Sandrine ; LEROY, Xavier
    In: Formal methods and software engineering (7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005), 2005, S. 280-299
    Konferenz
  3. FILLIATRE, Jean-Christophe ; LETOUZEY, Pierre
    In: Programming languages and systems (Barcelona, 29 March - 2 April 2004), 2004, S. 370-384
    Konferenz
  4. ASPINALL, D
    In: TACAS 2000 : tools and algorithms for the construction and analysis of systems (Berlin, 25 March - 2 April 2000), 2000, S. 38-42
    Konferenz
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -