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 21 öffnen
    MKM: a new interdisciplinary field of research.
    Farmer, William M.
    In: SIGSAM Bull., Jg. 38 (2004), Heft 2, S. 47-52
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
    Kauers, Manuel ; Kerber, Manfred ; et al.
    In: Calculemus/MKM, Jg. 4573 (2007)
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
    Autexier, Serge ; Calmet, Jacques ; et al.
    In: AISC/MKM/Calculemus, Jg. 6167 (2010)
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
    Borwein, Jonathan M. ; Farmer, William M.
    In: MKM, Jg. 4108 (2006)
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    Kohlhase, Michael
    In: MKM, Jg. 3863 (2006)
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    Towards an Interaction-based Integration of MKM Services into End-User Applications.
    Jucovschi, Constantin
    In: CoRR, Jg. abs/1403.5058 (2014)
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
    Autexier, Serge ; Campbell, John A. ; et al.
    In: AISC/MKM/Calculemus, Jg. 5144 (2008)
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    Proceedings of the Mathematical Knowledge Management Symposium, MKM Symposium 2003, Edinburgh, UK, November 25-29, 2003
    Kamareddine, Fairouz
    In: MKM Symposium, Jg. 93 (2004)
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 öffnen
    Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
    Asperti, Andrea ; Bancerek, Grzegorz ; et al.
    In: MKM, Jg. 3119 (2004)
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 30 öffnen
    Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings
    Asperti, Andrea ; Buchberger, Bruno ; et al.
    In: MKM, Jg. 2594 (2003)
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 31 öffnen
    The MMT API: A Generic MKM System.
    Florian Rabe 0001
    In: CoRR, Jg. abs/1306.3199 (2013)
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 32 öffnen
    Cost-Effective Integration of MKM Semantic Services into Editing Environments
    Jucovschi, Constantin
    In: CoRR, Jg. abs/1203.3316 (2012)
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 33 öffnen
    Towards MKM in the Large: Modular Representation and Scalable Software Architecture
    Kohlhase, Michael ; Florian Rabe 0001 ; et al.
    In: CoRR, Jg. abs/1005.5232 (2010)
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 34 öffnen
    Dimensions of Formality: A Case Study for MKM in Software Engineering
    Kohlhase, Andrea ; Kohlhase, Michael ; et al.
    In: CoRR, Jg. abs/1004.5071 (2010)
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 35 öffnen
    Incidence Simplicial Matrices Formalized in Coq/SSReflect.
    Heras, Jónathan ; Poza, María ; et al.
    In: Calculemus/MKM, 2011, S. 30-44
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 36 öffnen
    Large Formal Wikis: Issues and Solutions.
    Alama, Jesse ; Brink, Kasper ; et al.
    In: Calculemus/MKM, 2011, S. 133-148
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 37 öffnen
    Isabelle as Document-Oriented Proof Assistant.
    Wenzel, Makarius
    In: Calculemus/MKM, 2011, S. 244-259
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 38 öffnen
    Enumeration of AG-Groupoids.
    Distler, Andreas ; Shah, Muhammad ; et al.
    In: Calculemus/MKM, 2011, S. 1-14
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 39 öffnen
    Licensing the Mizar Mathematical Library.
    Alama, Jesse ; Kohlhase, Michael ; et al.
    In: Calculemus/MKM, 2011, S. 149-163
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 40 öffnen
    Computer Certified Efficient Exact Reals in Coq.
    Krebbers, Robbert ; Spitters, Bas
    In: Calculemus/MKM, 2011, S. 90-106
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -