Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

6 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coq! : animal et emblème : expositions MuséoParc Alésia, Musée Parc Buffon [28 avril-30 novembre 2018]
    Faton, Jeanne
    2018
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Interactive Theorem Proving : second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 ; proceedings
    Eekelen, Marko van, Sonstige ; ITP, 2, Berg en Dal
    2011
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
    Sturm, Thomas, Sonstige ; ADG, 7, Schanghai
    2011
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings : TPHOLs 2000
    Aagaard, Mark, Sonstige ; TPHOLs, 13, Portland
    2000
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998 ; proceedings
    Grundy, Sonstige ; TPHOLs, 11, Canberra
    1998
    Buch
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26 - 30, 1996 ; proceedings
    Wright, Joakim von, Sonstige ; TPHOLs, 9, Turku
    1996
    Buch
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -