Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

232 Treffer

Sortierung: 
  1. Detailansicht für Treffer 81 öffnen
    OpenMath in SCIEnce: SCSCP and POPCORN.
    Horn, Peter ; Roozemond, Dan
    In: Calculemus/MKM, 2009, S. 474-479
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 82 öffnen
    Formal Proof: Reconciling Correctness and Understanding.
    Calude, Cristian S. ; Müller, Christine
    In: Calculemus/MKM, 2009, S. 217-232
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 83 öffnen
    A Linear Grammar Approach to Mathematical Formula Recognition from PDF.
    Baker, Josef B. ; Sexton, Alan P. ; et al.
    In: Calculemus/MKM, 2009, S. 201-216
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 84 öffnen
    Finite Groups Representation Theory with Coq.
    Sidi Ould Biha
    In: Calculemus/MKM, 2009, S. 438-452
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 85 öffnen
    OpenMath Content Dictionaries for SI Quantities and Units.
    Collins, Joseph B.
    In: Calculemus/MKM, 2009, S. 247-262
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 86 öffnen
    Natural Deduction Environment for Matita.
    Claudio Sacerdoti Coen ; Tassi, Enrico
    In: Calculemus/MKM, 2009, S. 486-491
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 87 öffnen
    From Tessellations to Table Interpretation.
    Ramana Chakradhar Jandhyala ; Krishnamoorthy, Mukkai S. ; et al.
    In: Calculemus/MKM, 2009, S. 422-437
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 88 öffnen
    Using Formal Concept Analysis in Mathematical Discovery.
    Colton, Simon ; Daniel Wagner 0002
    In: Calculemus/MKM, 2007, S. 205-220
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 89 öffnen
    Biform Theories in Chiron.
    Farmer, William M.
    In: Calculemus/MKM, 2007, S. 66-79
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 90 öffnen
    Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge.
    Normann, Immanuel ; Kohlhase, Michael
    In: Calculemus/MKM, 2007, S. 356-370
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 91 öffnen
    What Might 'Understand a Function' Mean?
    Davenport, James H.
    In: Calculemus/MKM, 2007, S. 55-65
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 92 öffnen
    Narrative Structure of Mathematical Texts.
    Kamareddine, Fairouz ; Maarek, Manuel ; et al.
    In: Calculemus/MKM, 2007, S. 296-312
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 93 öffnen
    Context Aware Calculation and Deduction.
    Chaieb, Amine ; Wenzel, Makarius
    In: Calculemus/MKM, 2007, S. 27-39
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 94 öffnen
    Spurious Disambiguation Error Detection.
    Claudio Sacerdoti Coen ; Zacchiroli, Stefano
    In: Calculemus/MKM, 2007, S. 381-392
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 95 öffnen
    Mizar Course in Logic and Set Theory.
    Borak, Ewa ; Zalewska, Anna
    In: Calculemus/MKM, 2007, S. 191-204
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 96 öffnen
    Towards Mathematical Knowledge Management for Electrical Engineering.
    Rowinska-Schwarzweller, Agnieszka ; Schwarzweller, Christoph
    In: Calculemus/MKM, 2007, S. 371-380
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 97 öffnen
    Alternative Aggregates in Mizar.
    Lee, Gilbert ; Rudnicki, Piotr
    In: Calculemus/MKM, 2007, S. 327-341
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 98 öffnen
    A Framework for Interactive Proof.
    David Aspinall 0001 ; Lüth, Christoph ; et al.
    In: Calculemus/MKM, 2007, S. 161-175
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 99 öffnen
    An Approach to Mathematical Search Through Query Formulation and Data Normalization.
    Miner, Robert ; Munavalli, Rajesh
    In: Calculemus/MKM, 2007, S. 342-355
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 100 öffnen
    Revisions as an Essential Tool to Maintain Mathematical Repositories.
    Grabowski, Adam ; Schwarzweller, Christoph
    In: Calculemus/MKM, 2007, S. 235-249
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -