Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

143 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Modeling interactivity for mathematics learning by demonstration
    MORA, Miguel A ; MORIYON, Roberto ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 265-275
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 62 öffnen
    Mathematical libraries as proof assistant environments
    SACERDOTI COEN, Claudio
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 332-346
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 63 öffnen
    Mathematical Service matching using Description Logic and OWL
    CAPROTTI, Olga ; DEWAR, Mike ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 73-87
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 64 öffnen
    Intuitive and formal representations: The case of matrices
    POLLET, Martin ; SORGE, Volker ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 317-331
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 65 öffnen
    Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles
    BANCEREK, Grzegorz ; URBAN, Josef
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 44-57
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 66 öffnen
    Informalising formal mathematics: Searching the Mizar library with latent semantics
    CAIRNS, Paul
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 58-72
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 67 öffnen
    Improving Mizar texts with properties and requirements
    NAUMOWICZ, Adam ; BYLINSKI, Czesław
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 290-301
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 68 öffnen
    Formalizing set theory as it is actually used
    AVRON, Arnon
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 32-43
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 69 öffnen
    Flexible encoding of mathematics on the computer
    KAMAREDDINE, Fairouz ; MAAREK, Manuel ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 160-174
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 70 öffnen
    Extraction of logical structure from articles in mathematics
    NAKAGAWA, Koji ; NOMURA, Akihiro ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 276-289
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 71 öffnen
    Efficient retrieval of mathematical statements
    ASPERTI, Andrea ; SELMI, Matteo
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 17-31
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 72 öffnen
    Efficient ambiguous parsing of mathematical formulae
    SACERDOTI COEN, Claudio ; ZACCHIROLI, Stefano
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 347-362
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 73 öffnen
    Classifying differential equations on the Web
    DRAHEIM, Dirk ; NEUN, Winfried ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 104-115
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 74 öffnen
    C-CoRN, the Constructive Coq Repository at Nijmegen
    CRUZ-FILIPE, Luis ; GEUVERS, Herman ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 88-103
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 75 öffnen
    An investigation on the dynamics of direct-manipulation editors for mathematics
    PADOVANI, Luca ; SOLMI, Riccardo
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 302-316
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 76 öffnen
    An architecture for distributed mathematical Web services
    SMIRNOVA, Elena S ; SO, Clare M ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 363-377
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 77 öffnen
    Adaptive access to a proof planner
    MELIS, Erica ; MEIER, Andreas ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 251-264
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 78 öffnen
    A path to faithful formalizations of mathematics
    JOJGOV, Gueorgui ; NEDERPELT, Rob
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 145-159
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 79 öffnen
    A graph-based approach towards discerning inherent structures in a Digital Library of Formal Mathematics
    LORIGO, Lori ; KLEINBERG, Jon ; et al.
    In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 220-235
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 80 öffnen
    Translating Mizar for first order theorem provers
    URBAN, Josef
    In: MKM 2003 : mathematical knowledge management (Bertinoro, 16-18 February 2003), 2003, S. 203-215
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -